As can be seen with "git --no-pager shortlog -nse", we have several
duplicates.  The attached patch should fix those.  I'm Cc-ing this
message to people whose names/emails are touched, so you can check
whether the proper ones are used.