Picking up CodeMirror changes in pe.js and index.