Now, the Wikipedia has 6,907,147 articles.
Editing Wikipedia is something this user does as a hobby.