# robots.txt for games.research.org
User-agent: ia_archiver