#4 Statistical information on patch submissions

[James Kennedy]

It would be nice (ahem) to have a stats page listing
developers' patch submissions by developer. Also, we
should integrate with the Mantis stats pages themselves.