Re: [tor-dev] Retiring old user number estimates