Not sure what this guess is based on. Would that be a guess for git also, if mentioned by a company versus an individual?

My read was that they are pulling a Linus Torvalds with the Linux->Git move where both are innovations on their own, but work great together ( without dystopian universe instantiation )

CRDTs mentioned: https://zed.dev/blog/crdts