Just to let everyone know, the DNS problems should be pretty much fixed now. If anyone else is still having difficulties, let me know. There was also a little bit of downtime earlier today because of some web service problems while I was away, but things are back to normal now, and that shouldn't happen again. Sorry about that.
Also a quick note for all the people who modified their host files for HA when the DNS problems were going on -- I'd suggest removing those modifications in case the IP for the server is reassigned at some point (if you don't do this, and the IP changes, you may not be able to connect). Since the DNS stuff should be OK now, there should be no need for that modification any longer.