Envoyer par SMS: Specification and Complexity of Collaborative Text Editing