Interest in addition to slime-repl-history-replace?

[João Távora]

> I've modified slime-repl-history-replace to mimic the eli behavior, is
> there interest in me tidying this up and submitting a patch to slime
> with this as an optional alternative to the current history behavior?

Sounds good to me if you can provide a configuration variable
to switch between the two options.

But in any case make a pull request on github and we'll handle
discussion there.

João