✏️ Editing: clock_gettime.3.gz