Use 3.12 CodeMirror.