We are investigating a partial outage, affecting the network connectivity across a major portion of the network. Update: We have fixed a problem with some of our DNS servers. Everything seems to be working now.