圧縮されたファイルの拡張子は、
「lzh」 か 「zip」
になります。
この動画では、圧縮ファイルの拡張子は 「lzh」 になっていますが、拡張子が
「zip」
の場合もあります。
なお、拡張子が 「zip」 の場合でも、解凍ソフトのアイコンの上に、ドラックアンドドロップで置くことで、
圧縮ファイルを正常に、解凍することができます。