Switching to Lepture editor based on CodeMirror