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