4000 pages

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!