https://josephg.com/blog/crdts-are-the-future