Deal gracefully with missing highlighter module