Use CodeMirror 3.14.0.