Can you please add a global search bar?

[shoorlyne]

We'd like to have a search bar in the top-level nav bar, so that any time a user wants to search for something, he can use that.

See below for an example:

[ahmadjubair33]

sure

[github-actions]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions