[slime-devel] Re: [PATCH] hyperspec.el: strip text properties from suggestion