It's also worth noting that default_servers won't work particularly well as a fallback because DNS will only be resolved once, which would introduce a fairly severe risk that all servers seem to be behaving well, but some have accidentally gotten in a state in which they are only coasting on their default servers, which would stop working if the DNS changes.