lists.tpo archives are double-gzipped
velope says:
the gzip'd archives at lists.tpo are incorrectly double-gzip'd. one can use them by adding a second .gz extension when downloading them and then running gunzip twice. i checked the files for several lists and for several recent months.