Fixes for UTF8 encoding, updating CodeMirror.