Re: [slime-devel] Bug in slime-repl-insert-prompt