nathan wrote a large post about this! https://zed.dev/blog/crdts