Case insensitive event log search

The event log search is currently case sensitive which doesn't really seem necessary for what it does. I frequently type something that gets automatically capitalized by my phone keyboard, then I need to correct it. It's a minor thing, but would spare me some annoyance if the search wasn't so picky.