Show matching tags in search results?

Good point. Guess that solves the “quick way to navigate” use case. Would still like it to work without the # to increase discoverability.