CodeMirror now works in the console page. It's pretty.