https://debbugs.gnu.org/cgi/bugrep=
ort.cgi?bug=3D13404=C2=A0changed the behavior of=C2=A0comint-previous-m=
atching-input-from-input to keep point after the text entered by the user i=
nstead of moving it to the end of the line. However, I got reports that use=
rs prefer the old behavior (moving point to the end of the line so they can=
immediately append text to the inserted history entry). So I created a new=
customization option to switch between the old and the new behavior. Pleas=
e take a look.