Our servers are down while @digitalocean are working on resolving a major DNS outage in all their datacenters. Sorry for the trouble!