repl: fix some reverse-i-search display issues

Part of #6325.
repl: slightly clearer fix for #6312