This morning, the main domain name provider we use for the site went down. While the server and website here were working just fine, the DNS resolution went out, and thus gave an access outage for some time.

Looks like they got their servers back in order and we are back online.

Sorry for their stupidity. All seems ok again now.