DNS issues

Just a quick update to say that the DNS issues have been identified and
fixed, and we are just waiting for everything to propagate. I’ll send
another update with more detail after we get things started today at the
conference.