Remove all non-ascii text from codemirror.js