Sorry about the outage – our DNS provider was down.

We’ve switched providers and the original provider is back up, so everything should be okay.