Re: [slime-devel] Is this right?