Issue #2932347 by drunken monkey, ghaya: Fixed case insensitive matching for highlighting non-ASCII text.