We had a DNS outage this evening. You might have noticed things either not loading or loading slow. Servers were rebooted and everything is running normal. We apologize for any inconvenience and we are looking into how to avoid this problem in the future.