Match highlighting is now working again after the CodeMirror 3.1 upgrade