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