Injecting CodeMirror into teapo.html itself.