Add some more stuff to AGENTS.md (#14704)