Is your feature request related to a problem? Please describe.
The User Manager window needs a user search field badly, I have hundreds of users managed dynamically but sometimes I have to manually use the interface and it is a pain to search it.

Describe the solution you'd like
A simple search bar, filter like the Database filter or Table filter.

Describe alternatives you've considered
Endure the pain, cry about it.

Additional context
Hundreds of users like so: