I'll ask an actual question, since I forgot to do that:

Should we get rid of `_aa_dns_servers()`?