Roll back CodeMirror SHA to a slightly earlier commit to avoid a nasty display bug