[Zope-dev] wiki.zope.org / download.zope.org down?

Hi, As it seems wiki.zope.org is down, as is download.zope.org. But probably this is already known..? Is there anything I can do to help getting the machine(s) back up? regards, jw