Right now all tags (also the “marked” category) dissapear, if there are no cards tagged with the according tag.
For the sake of completeness I thought the “untagged”-category should also dissapear, if there are no “untagged” cards. I also can’t delete it, like other tags.
Checking if all tags were tagged at browser startup and refresh would slow things down
Okay, I haven’t thought about that.
What about the “Clear Unused Tags”-function?
Would that be an option to clear that “tag” or even just deleting it manually like the others (R-click → Delete)?
No, I’m afraid it’s not practical.