+1
Knut Wehrle 2 years ago 0

Instead of searching for `tags:abc` it would be easier/shorter and probably more common to search for `#abc`. It would be great, if this could be an alternative to the "tags:"-search.