Re: [slime-devel] Re: repl history navigation and M-r