I'm guessing some of you may have noticed that the server was down today. But the problem has been fixed, and everything should be running fine now. I hope none of you went into withdrawal like I did. I tried drinking more coffee than usual; but I don't think that really helped.
Thanks; David.