Re: [slime-devel] Updated patch to improve SLIME presentations