> Doesn't the PPP server normally provide the DNS address? https://www.rfc-editor.org/rfc/rfc1877.html#section-1.1