G github.com Why CRDT didn't work out as well for collaborative editing xi-editor 457 points UkiahSmith 7 years ago 83 comments
