User-agent: *
Disallow: /maint.html
Disallow: /data/symbols