There have been problems lately with the dns server or something, according to my server people. I thought they had it fixed, but apparently it’s broke again. I’ll see what’s up w…