I make fun of Google Docs for never shipping anything, but I just realized it’s the only doc editing software I use that isn’t slower than it was a year ago
I haven't tried prosemirror's collaborative editing, but it's hard enough to get all the edge cases right that I would be kind of surprised if it just worked? Especially given that doc management software usually wants to extend/customize the editor.