Just want to let everyone know we are working on a DNS issue on our servers. We are diagnosing the problem this minute. I will update once we know more about the problem.