CodeMirror update.
DocumentPersistence2 got out of hand: too long and complicated. Will remove it next time.
Removed DocumentPersistence2.