Re: [tor-dev] Should we disable the collection of some stats published in extra-infos?