Yep, that’s pretty much it, except I wouldn’t even allow “+ New tag” because:
I’d swap out that button for “Edit labels” which I guess would take you to your /preferences#bookmarks where you could rename your 3 labels.
@tophee thanks for the mockups. That would be an immensely obscure UX feature though, and I don’t see an easy way to educate users about it either. And it would indeed require a non-trivial amount of work to make this happen.
- bookmark labelling solves almost all of the same problems;
- it’s a much more straight forward UX story;
- I think it could easily start off as a plugin