On Sat, Jul 16, 2022 at 08:13:43PM +0000, Manuel Boni via GitGitGadget wrote:

    Update 2022-07-16: I addressed the suggestions by Jeff King and Junio C.
    Hamano by integrating their fixes and by rewording the commit message,
    so that emphasis is put on the documentation enhancement and mentioning
    the improved tab completion as a beneficial side effect.

Thanks. This version looks OK to me.

-Peff