Re: slime-autodoc stops working after some time