RE: [slime-devel] COPYRIGHT change - slime contributors please read this