Disabling highlightSelectionMatches for the sake of performance (profiling shows a lot of effort spent there).