We don't allow editing so it's not entirely clear what the point of having codemirror (a large dependency) is here. We could switch to plain HTML and a syntax highlighter.
There's no rush. Just thinking out loud. Switching from one dependency (codemirror) to another like say (highlight.js is a different dependency though it would run at build time.