[slime-devel] Slightly OT: texi2html of slime.texi