The user also mentioned that there was no clear place
to contact about this
type of problem. He now knows to contact Wikitech-l, but we may wish to
advertise that more. (But that is a separate discussion entirely.)
I thought the procedure was to report it to
http://meta.wikimedia.org/wiki/Live_mirrors