DNS issues seem to be fully fixed. Probably a lot of users might not have noticed an issue anyway -- if our IP addresse(s) were cached locally.