Some improvment suggested: extension search

[PeopleInside]

Hi, I hope this theme will be still updated because is so beautiful and almost all custom themes has been abandoned.

This theme actually miss a search field in the extension page ~~and, with the update 1.7 of Flarum now is missed also the new introduced search user field in admin, user list.~~

Nothing of urgent, I hope this plugin will still be maintained and will always works with new Flarum versions. Thank you!