Hi, if I decompress one of the list archive files, for example: https://lists.torproject.org/pipermail/tor-talk/2011-April.txt.gz I get gzip compressed data. Did something go wrong when migrating the list or is there a particular reason to compress these files twice? (decompressing twice results in ASCII text files) thanks, tagnaq