GitHub - automerge/automerge: A JSON-like data structure that can be modified concurrently by diff… https://github.com/automerge/automerge