Automerge: A JSON-like data structure (a CRDT) that can be modified concurrently