The title of the blog post is unfortunately misleading. The tutorial shows how to convert PDF to DejaVu but doesn't explain how to compress a PDF file by itself.