Revision history [back]

I used the Python script pdf-merge.py to merge them all, correcting and preserving bookmarks, too. See the attachment or download it here (56.4 MB).

It's 13,537 pages!

(The only issue is that the PDF links don't point to the correct pages, although the bookmarks are correct.)