Report: Reduce PDF docs size on linux

You are reporting the paste Reduce PDF docs size on linux.