Re: [slime-devel] swank-kawa and slime-repl.el