Re: [tor-dev] Limiting Tor RAM usage