なるほど・・・。ありがとうございます。 ZIP!がダブルミーニングになっているということが、 圧縮ファイルの拡張子の中で選ばれた理由なのですね。