Sorry, folks. We had an issue with our DNS records today. A fix is underway and these resources should be back shortly.