The contributors page is very out of date. We're looking for someone who'd be willing to (one time, at least) make up a listing of full names if given a complete list of the email addresses in the AUTHOR tags in CVS, so we can map the email addresses to people. This leaves people out, but it is one part of what's needed to bring this page up to date. Any takers?