Or re-compressed all JPEGs. Especially Print to PDF probably has no hope of ever being particularly efficient, as it's re-encoding things that have already been

Or re-compressed all JPEGs. Especially Print to PDF probably has no hope of ever being particularly efficient, as it's re-encoding things that have already been processed for printing.