Thomas Dalton wrote:
If we list everyone, though, the list will get prohibitively long.
I'm not so sure it would get that long, the CREDITS file is split into several sections; developers will generally stay the same, only a few being added occasionally, and there aren't that many patch contributors.
MinuteElectron.