Realtime collaboration

[tmbb]

@houshuang

Note that the ShareDB people have been working on a new version of ot-json for years, which apparently is soon ready.

I don’t think it’s possible to do better than what they already have. They are talking about adding conflict markers, which destroys the ergonomics completely.