> If there's one thing I don't need, it's other users editing my prose behind my back.
To me, this sounds like a fantastic teaching tool, a fantastic pairing tool, a fantastic interview tool, and a cool way to collaborate on scripts where Git would have too much friction.
I think this sort of tool can even scale up to projects larger than a single file — I’ve used Floobits (https://floobits.com/) to co-op edit whole Django webapps in Intellij. It’s super fluid and productive to use co-editing tools to very quickly collaborate on new feature build-outs, either pairing together on a single file or splitting work between Frontend and backend concerns.