標準のスニッピングツールを使った。 手軽でいいけど10秒の動画が3MBは微妙。 （サーバーで処理されてダウンロードするのは2MB）

あと再生方法が直感的でない。

GIF(LICEcap)の場合

8fpsで6秒で824KB

GIFはユーサーインタラクションがなくても再生してくれるところが良い。サイズ効率が微妙だけど、短ければ60FPS?のmp4よりはマシ。

スニッピングツールで撮ってfpsを落としてというのも面倒そう。 10fpsに落としたら717KB

ShareXはmp4のフレームレートも決められていい感じかも。 6秒で10fpsで549KB。

mp4の自動再生はいらない。Discordみたいにクリックで再生でいい。