[Request] Group the tags shown in Tags filter

I think your smart groups approach is useful and completely valid. What’s really nice is both methods, smart group and tag filter, are always available.

I’ve never used Devonsphere. Does it have any applicability here?