某古い論文をネットで探して無事見つかったが、DjVu というフォーマットだった。
ウィキペディア「DjVu」 によると、画像圧縮方式の一種、 およびその技術を使った文書形式の名称であるとか。 スキャンされた文書の圧縮に特化されているそうで、なるほど。
Google Chrome 用のプラグインをインストールして、入手して、 「DjVuファイルをネット上でPDFに変換する: DjVu to PDF」 で PDF に変換して保存することにした。