Use codemirror in index.html. Preload some Javascript.