Re: [slime-devel] Slime presentation marker bug (patch attached)