Most recent, stripped, version of PDF_collator