How do we know that we want CodeMirror to display HTML? I don't think we can hard-code the language being used.