Re: [slime-devel] A tiny change to slime-inspect