See AGENTS.md: it is the same for every agent.

@AGENTS.md