FEATURE: Add filter box to the themes/components list (PR #13767)

This PR adds a search box to the themes/components list to allow admins to quickly find a theme/component with a specific name.

Screenshot:

GitHub

I like it!