Tags update

[Patryqss]

So today we've got an update with Tags Explorer on Progress page, which is great nad it's something that I really wanted to see somewhere, so I'm glad for this nice addition.
But, with this update there was also a change that's not so great, at least for me: searching by tags. It used to show all problems matching given tag, now it doesn't show problems with those tags marked as hidden.
I liked to do "tags-hunting" and now with progress bars it would be even better experience but sadly it's not. For example, I once almost maxed out prime-counting problems. Now most of them are not visible. I was also doing CRT-related problems and I had a big amount of them still in TODO, but now only 3 such problems appear...
The progress bars also seem distorted because of that. I definitely solved a few problems requiring dirichlet convolution, but my progress bar shows 0%. That's not a good UX imo.
Would it be possible to restore the searching functionality to what it used to be? Perhaps, if there are people that are afraid of spoilers, we could get another toggle in our account settings, so if someone wants to be able to see hidden tags while searching it would be possible, but if they don't want it, then it could be turned off?

[euler]

I have changed the previous "Full Tags" to "Show Tags" (which does not show hidden tags) and introduced a fourth tier: Full Tags, which means that hidden tags will be visible. They will be included in your problem completion in the progress section and when you filter problems by tag.

As explained in the updated About Tags... page, please use at your discretion as considerable thought has gone into tagging problems. The problem developers chose to hide certain tags because they are considered to reveal something about the problem that is best left to be discovered for yourself.

[Patryqss]

Thank you!
Small bug found: This change probably revealed some tags that were completely hidden before, and now I'm on 113% completion

[euler]

That's an impressive completion!

It should be fixed now.