圧縮されたファイルの拡張子は、 「lzh」 か 「zip」 になります。
この動画では、圧縮ファイルの拡張子は 「lzh」 になっていますが、拡張子が 「zip」 の場合もあります。

なお、拡張子が 「zip」 の場合でも、解凍ソフトのアイコンの上に、ドラックアンドドロップで置くことで、
圧縮ファイルを正常に、解凍することができます。