All tools
Compress a PDF
Shrink a PDF by rebuilding it and re-encoding the images inside it.
Re-encoding the images inside a PDF needs an image codec the browser doesn't expose, so this one is done on the server and the file is dropped as soon as the result is sent.