a lot of pdf files

Podz piqued me curiousity with all those PDF files he made from th' WP Codex, so I just peeked on our fileserver at work. In less than a year, we’ve generated o'er 24,000 PDF files. I wonder how many pages that is…