Collaborative editing for the CodeMirror code editor - View it on GitHub