Yeah, we plan to revisit the collaboration features; it was painful but we decided we needed to pause work on it while we built out some more highly-requested functionality. We still have big plans for improving team collaboration!
It would be interesting to (optionally) make the AI agent more like an additional collaborative user, sharing the chat between users, allowing collaborative edits to prompts, etc.
The long game of agentic AI seems to be giving them a working environment that is fast, accurately (and safely!) tracks changes, and enables humans to observe its edit history and thinking process. Zed's collaborative features seem serendipitous for this role.
Not sure what your budget looks like, but maybe its time to look for a new developer if its feasible? So you don't neglect a feature that's already in production and broken.
