Обсуждение: documentation problem

I downloaded the 7.2 english pdf docs from a US mirror
http://www3.us.postgresql.org/users-lounge/docs/#7.2 and noticed they
had a .pdf.gz suffix.  Piping to gunzip causes "not in gzip format"
errors.  If you drop the .gz, pdf viewer can open them.

Thanks

Dale