Re: [slime-devel] save-some-buffers patch