Document git's mailmap option