✏️ Editing: stime.awk