The file is not *needed* for anything, because the information is in
the Git history.  It's just easier to access when it's committed to a
file in the repo than it is to ask curious folks to clone the repo and
run ‘git shortlog’, etc.