This is to fix the output of `git shortlog` and `git check-mailmap`. I only added names and addresses for developers with a very large number of commits. It could be improved to add more.
Christian Couder