AGENTS.md gets it wrong in 2 ways