Evidently I cannot copy-edit in a terminal