We experienced a short outage today as our DNS host temporarily went down. We’ve switched to a new DNS host that has a better reliability record.