Suppress tags in filter list

(Pad Pors) #1

when one is in a category, it would be good if the tags in the filter list reduce to those that are used in that category.

currently I can see tags that are not used at all in the topics of that category in the tag filter.