✏️ Editing: ntp_gettime.3.gz