[slime-devel] Re: Slime licence problems: a possible solution