One AGENTS.md works across many agents