Migrate to 3.13 CodeMirror.