Yes exactly, collaborative editing is probably the number one use case people actually use them for. I doubt Google docs actually uses a real CRDT behind the scenes but they do have some big brains over there in the chocolate factory