Collaborative editing with CodeMirror