Review Board 3.0.7

URL: /account/preferences/#groups

Search should be case insensitive because people are lazy with the shift key and OS/web searches are generally case insensitive. It would be even more useful to match substrings.
It would be ideal to have the same (improved) search functionality on the /groups/ page because there is no search provision at all there and groups are paginated making the browser's 'search in page' function less useful/useless depending on size (my RB server has 25 pages of groups).

Using Windows 10/Firefox 67.0.1 (64 bit)

Please provide any additional information below.