[slime-devel] Double end-table in CVS doc/slime.texi