On Fri, 26 Apr 2019 at 17:56, Gerhard Lazu <gerhard@REDACTED> wrote: > (search)`': 42+42. At this point, what did you press? Don't enter any text. Just press Backspace a bunch of times. I get another copy of the previous history line appended each time.