5. We should have a long list on a 'credits page', (4) implies this.
But do we need a main authors list as the GTK manual has one for
example?
You keep talking about the GTK manual, and I'm still sitting here
wondering what to do about our own contributors :)
Hehe, it seemed to be a good example to mention anyway ;)
You seem to have found a good solution, but I keep thinking about the
main PHP commit stats and whether there's any way you could run your own
'top 10 on the front page' out of a docs equivalent held in a database
somewhere.. it'd be eternally changing, but would give everybody an
equal opportunity to shine ;)
I don't think so that juding after row numbers are a good way. Hartmut has those huge numbers because he has done 'operation banana split', which involved readding the majority of the content of the manual after removing it ;) So he will be difficult to beat ;)
Without joking, the top ten won't be changing in long time I think, because the numbers there are results of many work done since a long time.
Goba