mixDNS

Resolves a handful of hostnames over the Nym mixnet using the IPR's DNS path.