[slime-devel] Re: implementation type / name of slime buffers