[slime-devel] autodoc workaround?