MIT CSAIL will be shutting down parts of the network we use today from 1pm-4pm (Eastern US Time). I am in the process of moving the buildservers and the rendezvous server to AWS. In particular, buildserver capacity will be limited (buildservers cost a lot of money at the size we need). I'll add more servers if the load gets too out of hand.