Could there be something wrong with the PDF version of the HTML 4.01 Specification (at
http://www.w3.org/TR/html401/html40.pdf.gz)? It downloads at 2,8 MB, not 963 kB as indicated,
and the archive seems to be corrupted.