ちなみに重いGIFもMP4に変換するとかなり容量が軽くなります！

無料ツールを使ってGIF→GIFで軽減させても、あまり軽くならないのでGIF→MP4への変換がおすすめです！

※無料ツール

https://convertio.co/ja/gif-mp4/