Well, actually 4001 pages at this very moment. Also

• 381203 lines of tex,
• 12104 tags, and
• 3268 commits since we started using git on May 20, 2008.

Enjoy!