[Zope] Zope lists in google

Hi, Today I noticed that google doesn't find anything when giving "site:mail.zope.org" anymore. It worked before :-( Moreover, when you get the robots.txt from the list: http://mail.zope.org/robots.txt You will see: User-agent: * Disallow: / So, is it intended that the zope list aren't indexed by the search bots or is this an error? Best regards Josef