Collaborative editing — à la Google Docs — is a feature that you still rarely find in applications. One of the few good things that came…