# robots.txt for forums.divers.com
User-agent: ia_archiver