RE: How (un)common is lack of DNS server diversity?