Merge branch 'hy/doc-show-is-like-log-not-diff-tree' into maint-2.42

Doc update. * hy/doc-show-is-like-log-not-diff-tree: show doc: redirect user to git log manual instead of git diff-tree