My ISP is migrating servers this week; various bits of stuff may not work for a while.