Update AGENTS.md (#14819)