PDFTools needs JavaScript to run its tools.
Compress PDF
Make a PDF smaller by re-encoding its photos, and see exactly what was saved.