Themes in CodeMirror.
Remove debug output in build.py.
Compile CodeMirror together with Text.app.