✏️ Editing: gunzip.1.gz