Darkle Has anyone ever made this extension? maybe an old one? I think it would be super useful to include a search bar inside the /tags page, especially for sites with a lot of tags it would be much more convenient to find tags.
