What do they use to compress pdf files? Did they consider alternatives before finalising on a compression library/algorithm? Would be great if a comparison can be shared.
The compression is being done by running a ghost script. Easy to use, provides decent control over the compression keeping a balance between quality and size as compared to a few other paid options.