The server maintenance described below has been completed.  Sorry for the inconvenience.

I need to take down the web server that serves our images for about 15 minutes or so. I will do this at 11pm Pacific. If your browser has our images cached, you might not notice anything; others may find during this period that the pages load slowly or have bad layouts.

In addition, I added a little bug fix:  if you click on a numbered link to a previous comment, and the comment is in a hidden section of the thread, it will now un-hide the section, and move you to the comment.  Thanks to Daniel Zappala for the tip.