[slime-devel] Re: pdfTeX failage on Slime manual