Re: [tor-dev] Shrink Tor binary size