Да я понимаю, что теоретически все может случится. И поля для ввода адресов DNS серверов у нас были предусмотрены.
Просто не хочется лишний раз напрягать пользователя (который обычно ничего в этом не понимает) вводом магических циферок, которые ему еще и нужно где-то взять. Тогда как модуль и так получает их автоматически (или должен получить) причем наилучшие для его опсоса.
Возникает вопрос алгоритма: как лучше делать?
Если поля ввода адресов пустые - использовать по умолчанию, а если заполнены - то их?
Или еще сложнее: всегда получать ip-адрес хоста из имени хоста прямым DNS запросом, а если запрос не проходит, то изменять DNS сервер на тот, что ввел пользователь?
Или вообще ничего лишнего не делать и полагаться на автоконфигурацию и нормальную работу опсосских серверов и уже сейчас идти пить пиво??