Well actually 2006 pages at this very moment. Also

• 193614 lines of tex,
• 6267 tags, and
• 1326 commits since I started using git on May 20, 2008.

Enjoy!