Collaborative editor using diff, match and patch

Editor