Sending you to the main note... [CRDTs and the Quest for Distributed Consistency ]