Re: [tor-dev] Metrics tarballs now available as .tar.xz rather than .tar.bz2