Moved to AGENTS.md.