Administrivia: Comments shutdown

We’re experiencing some very heavy load on the servers here, and we’re taking comments offline for a while so we can deal with the problem. There may be other unannounced outages here in the next 48 hours or so. We’ll keep you posted.