[WikimediaMobile] Collaborative editing on Google Docs for Android