Python documentation available as ZIP files

[Gordon McMillan]

Fred L. Drake wrote:

> ... but be aware that, even with maximal
> compression, the HTML ZIP archive is substantially larger than the
> .tgz equivalent.  This is likely caused by the ZIP format having two
> directory entries for each file instead of one; with a lot of small
> files, this can make a difference.

Nah, it's because a zip file is (conceptually) a tar of a bunch of 
gzips, while a tgz is a gzip of a tar. Compression ratios get better 
on longer inputs. But "random" access is a lot easier on the former.

- Gordon