Zed's collaboration tech is amazing, but coding just seems to be less collaborative than e.g. meeting notes.

It's pretty awesome that they were able to use the crdt for agent collab. I've been thinking about something similar for my project.