Zed also has interesting collaboration features -- editing + voice: https://zed.dev/docs/collaboration

In the early days, Zed's in-editor collaboration features were marketed as a key differentiator. I wonder how many Zed users have used these features on a sustained basis.