The servers were all down for much of the night due to maintenance (adding
hard disk to file server, changing network topology, etc). All is well again. :-)

digital man