Add Search Bar Into The Extensions Page

Describe your feature request
A search bar in the extensions page to search for specific extensions.
What problem(s) would this feature solve?
It would allow you to find the extension you want without scrolling a lot to find that extension. It would benefit everybody to reduce the amount of time it takes to scroll and just to get on with coding as quickly as possible.
Explain what you were trying to do when you came across the problem leading to this feature request
I saw Hugo’s request and though of my own and how it would help »


X-Posting, will be changing this soon.