This is precisely why leaderboards suck. Instead of picking the single best contributor, do as the OP did and acknowledge all good contributors.