FYI, our web server (halldweb.jlab.org) was having problems starting at around 8:20 this morning. The group disk, where the server's content is stored, was overloaded. The server has recovered now.