Re: [Slime-devel] Interest in addition to slime-repl-history-replace?