An Extensions Search Bar

[Mouhammed Soueidane <m soueidane gmail com>]

Dear Guys,
I would like to express my great appreciation for your wonderful work.
I'm going to make this short for I already know that you guys have so
much to worry about. I would like to see a search bar in your Gnome 3
extensions page. It would be great to search for extensions of interest
on the fly, rather than going through pages and pages of extensions.

Regards,