I agree with this, but one thing they might have been going for is editing code that you then compile and run on a beefier remote server. Although you don't nee

I agree with this, but one thing they might have been going for is editing code that you then compile and run on a beefier remote server. Although you don't need a full CRDT for that, it can do that.