Shrink a PDF by re-encoding its pages, right in your browser. Runs in your browser. The file is never uploaded.