[tor-commits] [orbot/master] cleanup of VPN DNS startup