And indeed that is the case when using other frontends; this seems like a problem with the Readline frontend
And indeed that is the case when using other frontends; this seems like a
problem with the Readline frontend