What version are you running?
1.5
What's the URL of the page this enhancement relates to, if any?
https://.../users/
https://.../groups/
Describe the enhancement and the motivation for it.
We have a fairly large installation, with about 170 pages of users and 130 pages of groups.
Needless to say, the large number of groups makes it extremely impractical to find a group to follow; since they're ordered, you can usually guess about what page a group would fall on, but there are still a lot of clicks. Adding a search box would definitely ease this process for us.
It seems like the user page should get a search box as well, although this is a less common task for us. Generally we only have to look up a user when someone joins our team and needs admin privileges.
What operating system are you using? What browser?
Red Hat Enterprise Linux on the server, although that shouldn't matter.
Please provide any additional information below.
