Use official CodeMirror lint.