There is currently no search/filter for the Settings>Users menu. This makes it difficult to locate users when you have hundreds of people.