Having a quick filter in the main sidebar so you can type something in and have it only show matching results (but without having to reload the page, or covering up content) would be great! :D

It could be placed somewhere like this (attached picture), and be accessible with a keybind like "/" or something?

---

(love the wiki btw)