Web Inspector: Search: allow DOM searches to be case sensitive