Search Improvements

- [ ] Maybe allow typing in the bar, instead of opening a popup?
- [ ] Show extra details on the listings like the section (instead of just page), and possibly a count of how many times the search term was found
- [ ] Add keyboard shortcut(s) to access search
- e.g. Adidoks allows typing `/` to start a search, which is also a convention on GitHub and some other places
- [ ] Possibly switch search provider to [Algolia](https://www.algolia.com/)
- Need to consider effect on offline users (e.g. for providing docs in a BlueOS extension, for remote use)

Start by reviewing the existing search bar and how listing details are presented. Compare the requested inline search, keyboard shortcuts, richer results, and possible Algolia integration, including offline use. Done means the desired scope and search provider are decided and the resulting search experience supports the selected requirements.

Written by the indexing model from the issue text.