Interesting. Wikipedia shows about 50k active editors (5+ edits) for any given month in 2006 -- I didn't keep the URL, but that's pretty much right. I didn't realize how much output the "9%" yielded.