Ladislav, I agree about the level of activity not being as useful if the number of contributors is not specified, but for now this will have to do. The way to do this is through some reasonably smart scripting that can obtain a better breakdown of posts by user, either through scraping or some sort of API, if available.
GrahamC, Ladislav: are you ok with this group becoming web-public as is?
(For the record: I am ok with it.)
Thanks for the additions, Andreas. It was my intent to have this in Markdown or something like it to have it be easily posted to any web site that could accept such content.
"obtain a better breakdown of posts by user" - I do not criticize your findings, I do not even think it is needed to know how many contributors there are; that was rather an observation from me related to one "prolific" contributor