Refs #76 - Rely on Github's contributors list, so that we do not forget someone and have the list automatically maintained.