I have aggregated duplicate committers so that they add up correctly in
git shortlog.  I have gotten into the low 100s so we can see more accurately
how many commits have been made total by who.  I am still the winner by
by a factor of 2.