Update AGENTS.md with more stuff. (#14725)