Currently, the client-side search feature shows a dropdown with the top 5 most relevant results, and you cannot see more than that. That is not sufficient for users who don't already know what they're looking for.
We should add a link to the bottom of the search dropdown (something like "All results…") that either brings you to a dedicated page or opens a larger modal with the full list of search results.
See #12