Re: [tor-dev] Have the Tor daemon use more cores