https://jsonjoy.com/blog/list-crdt-benchmarks