[feature request]: Search Extension option

[twin0mega]

Summary:

• Add a search box at the bottom-right of Extensions window

---

If you have a massive amount of extensions it can be hard to find that one extension you're looking for. Sometimes you can only remember part of what its called. Currently, you just have to scroll through the list until you find it. Or you can press Ctrl+F to bring up the search box in Chrome to find it.

So there's already a search function, why should you add one? Ease of use. Having to press Ctrl+F every time is a nuisance. This could easily be remedied by a simple search bar being added at the bottom right of the Extensions window.