動画をアニメーション WebP に。

アニメーション WebP は GIF よりきれいで、たいてい数分の一のサイズです。ブラウザやほとんどのチャットアプリで再生できます。動画が端末の外に出ることはありません。