@alexkwatson sorry for the trouble, Alex! @digitalocean had a major DNS outage. Should be resolved now and the site is back up! Sorry.