This file is a precious energy drain to keep up to date and duplicates
the Git history where everyone's contribution is now recorded.