Er, and while I'm nit-picking: The links to <http://cvs2.cons.org/ftp-area/cmucl/doc/cmu-user-html.tar.gz> and <http://cvs2.cons.org/ftp-area/cmucl/doc/cmu-user.tar.gz> from <http://www.cons.org/cmucl/doc/index.html> both don't work. The first one ends in '.tgz' now, the second one doesn't seem to be there at all.
Cheers, Edi.
