Figure 1: Collaborative Editing in Google Docs.