We've upgraded a few servers in the lab during the last few days. There were short disruptions of service, in particular around about 3pm today. In any case, things seem to be back to normal now. Please report (on this list) any problems you observe.