On Mon, 29 Apr 2002, Steve Alexander wrote: > Some older browsers do bad things, like chop off the .gz at the end of > the filename, which confuses unarchiving programs. It seems that the file you've downloaded was automatically gunzipped by your browser. the size of the gunzipped archive is exactly the size your report : 174080 bytes. bye, Jerome Alet