The Story of Text Editing