Update AGENTS.md (#14738)