>> http://www.w3.org/hypertext/WWW/MarkUp/html-spec/html-spec.ps
   >> -rw-r--r--   1 connolly www        303950 May 31 04:05 html-spec.ps
and replaced it by this
   http://www.w3.org/hypertext/WWW/MarkUp/html-spec/html-spec.ps
   -rw-r--r--   1 connolly www        101658 May 31 15:20 html-spec.ps.gz
which in fact is the .gz file (ie both the .ps and the .gz file are
identical) so now _I_ can't print the goddamn thing on my printer
because it keeps looking for this poxy non-ISO letter size paper :-)
///Peter