[slime-devel] Re: Bug report: finish-output does not finish with slime!