Done. Added https://github.com/marijnh/CodeMirror/issues/1514 to comment.