Re: [tor-dev] Temporary decrease in FTE users in late August?