[slime-devel] Documentation missing