Compress PDF

Shrink files by re-encoding images and stripping bloat.