CodeMirror: Linter Demo