All day tomorrow (Wednesday) I will be in Dallas working on the servers that run this website, upgrading their operating system software and installing some new hardware. This means that there may be occasional interruptions during the day. As always, I will do my best to minimize any downtime.