Looks like 1.0.218 has been promoted from pre-release to release…
I have yet to have any problem with the Codemirror editor although I did make up a new Codemirror based userchrome.css to change some of the colours. However my css file is a lot smaller than the previous one because some of the things I tried to add to the Ace Editor are now native to Codemirror.