looks like our hosting provider, @digitalocean, is having a bad time right now; site will be offline until they sort things out