How can the editing and proofreading of texts be speeded up?