Re: [slime-devel] Saving *slime-scratch*