+ Changed check of highlightSearchedRegions to see if it's undefined
rather than whether it evaluates to false (so that users can explicitly
override the behavior)