Search Palette Idea

Would be cool to have a search/command palette (on pressing / or Ctrl+K) that can be invoked on every page to do search.

I don't think the "Search" page in the navigation bar is used frequently at the moment (analytics not collected so not sure about exact numbers), despite its usefulness in searching questions by keyword (e.g. "knapsack" for knapsack problem questions). This can stay on its own (to view full results), but a search palette could maybe show top 5-10?

Maybe the search palette should also show course/category results, prioritising those over any questions or answers; this way, a user can:

• Ctrl+K on any page, start typing "operating s <Enter>" and open the OS category page
• Ctrl+K on any page, start typing "operating system" and arrow-key/mouse navigate to a question or answer with the keyword in it
• etc

Mantine, the UI library currently used in the frontend, has an addon for such palettes called Spotlight, worth considering?