Review Board 3.0.7
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.