Compress PDF

Make a PDF smaller, with the tradeoff shown before you run it.

Not built yet.