jeste mi prosim vysvetlete fungovani volby push "dhcp-option DNS 10.0.0.2" v configu serveru. ma to vyznam jen pokud mam vlastni DNS, ktera preklada interni IP? Nebo se na tohle rozhrani muze proroutovat venkovni DNS u providera. I kdyz to by asi byla blbost.