>> 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