发送短信: Specification and Complexity of Collaborative Text Editing