[slime-devel] pdfTeX failage on Slime manual