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 L

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 https://zed.dev/blog/crdts