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!