I went to http://www.w3.org/TR/html4/
& downloaded "This version, gzip'ed PDF file" using Internet Explorer 6.0. What
I got was a file much larger than specified & it wasn't zipped. I
could just use it as is.
I also downloaded the same file using Netscape
6.2.3. The resulting file was the size specified & I had to unzip it
to use it. Could you explain to me why I got two different results using
the two different browsers? This is a mystery to me & I'd very much
like to understand it.
Thank you very much for your help.