Update mailmap
Link to the dedicated mailmap documentation (which was split out of
git-shortlog(1) some releases ago), and shorten the entries – as far as
I can tell, we only need to fix the email address, the name was always
set correctly. (I’ve tested this by running git shortlog -se
before
and after this change and comparing the output – no change.)