[slime-devel] Re: Slime license annoyances