Search box for the user list

Weirdly enough, we do not get a search box in the user list.

With the user expiration features, as more and more companies will avoid deleting users, the list may and will become quite long. A search box at the bottom of the screen, as in any other Marketo list, would be welcome.

-Greg