Make the AGENTS.md example a full file