✏️ Editing: readfile.awk