DNS dividido sobre OpenVPN: o que um domínio de encaminhamento deve fazer em cada sistema operacional