Editing Technical Documents