Use the GitHub contributors for the contributors list: as such it will always be up-to-date.