User-agent: *
Disallow:

Sitemap: http://grothendieck-circle.org/sitemap.xml.gz