アイコンにできるファイルサイズにするのが少し大変でしたが、結果的に359KBまで縮めることができ、アイコンにすることができました。 YMM4でトリミング・縮小→QGiferというフリーソフト(このためだけにDLした)でMP4をGIFに変換という流れで作りました。 右端がバグっているのはご愛嬌ということで^^;