Update AGENTS.md (#14733)