Merge "SearchEngine::userHighlightPrefs needs no user"