✏️ Editing: clock_gettime.2.gz