Real-time collaborative markdown editor for Google Drive using CodeMirror and Google Drive Real-time API.