@digitalocean Are there any known problems with DO's nameservers? Seem to be getting SERVFAIL's (sometimes).