- Add a search box to the dashboard to filter the dashboard contents by name
- As the user types the contents of the dashboard page changes to match the query
- keyboard shortcut to invoke search
- URI should change to contain the content of the search (ideally). This means it can be bookmarked and linked to directly.
A very old branch with some version of this: