Update to CodeMirror (not quite latest due to a recent injection)