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.