You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If a user has an addon that hides certain index entries, tags of those entries will still be included in the tag filter.
This is a mild annoyance at best, but far from ideal if you are trying to use filters to reduce clutter.
In order for this to work, we'd need an API to return the filtered index excluding the filter for the querying addon. I haven't dived into the code too much, so I can't see whether filtering is always done on the fly or stored on filter/index change.