[tor-dev] Proposal: Handling Complex DNS Traffic for VPN usage in Tor