Re: [tor-dev] Tor Cloud Maintenance, revisited