That's our Bill. The Sep 27 download of the Wikistats (which you can reach via the Statistics link) shows User:WMWillis with 8486 article edits and 1538 other edits. In just 14 months too.
Great work, Bill!
Robin Patterson 14:02, 28 September 2007 (UTC)
Why, thank you Robin! Its always nice to be appreciated. But what Robin didn't say, modest chap that he is, is that at 3592 "other" edits, he has contributed more than any of us to the basic nuts and bolts of this wiki. Ultimately, its Robin's work that's making the site hum.
Bill 16:47, 28 September 2007 (UTC)