Comment by jahewson

This is literally a degenerate CRDT. Central server for tie-breaking goes back to Google Wave.