「色々なPDFファイルをgzip/bzip2/XZ圧縮してみるテスト」の実験を行っているときに気付いたのだが、gzipもしくはbzip2圧縮を行ったPDFファイルはその種類が単なるgzip/bzip2圧縮ファイルではなく「圧縮されたPDFファイル」として認識されており、freedeskto…