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