✏️ Editing: strptime.3.gz