Note that this includes a little bit of manual deduplication, as we have several contributors who have used different names for the same email address (or different email addresses for the same name?). Future updates to this list will need to manually dedupe as well.