Sorry about the temporary outage…it appears that we (along with a number of other companies, it appears) were the unfortunate recipients of failed DNS name servers.  We’re back up now!