# robots.txt for www.diving.org
User-agent: ia_archiver