The list of contributors is no longer included, as it can be deduced from the git commit history. No need to maintain it twice.