I just caught the server down; I think I put it back up before anyone noticed. I'll be out of town till Monday; I'll be checking periodically, but if the server goes down, it'll probably stay that way for a good long while.