CodeMirror HTML editor: powered by CodeMirror