How long can AGENTS.md or CLAUDE.md be?