Remove (temporarily) codemirror from the red-pill
Merge pull request #285 from graphicore/remove-codemirror

Remove (temporarily) codemirror from the red-pill