We now have a copy of the dumps on a backup host. Although we are still
resolving hardware issues on the XML dumps server, we think it is safe
enough to serve the existing dumps read-only. DNS was updated to that
effect already; people should see the dumps within the hour.
Ariel