and then finally, removing codemirror2