アニメーションGIFをビデオに置き換えてページの読み込みを高速化する

Windowsの場合は scoop で ffmpeg をインストールできますが、scoop 標準の ffmpeg では VP9 エンコード出来ないようです。(2012/02/25 現在) ffmpeg.json を編集して VP9 対応の ffmpeg をインストールする必要があります。

4320p: 7680×4320 8K
2160p: 3840×2160 4K (YouTube)
1440p: 2560×1440 (YouTube)
1080p: 1920×1080 (YouTube)
720p: 1280×720 (YouTube)
480p: 854×480 (YouTube)
360p: 640×360 (YouTube)
240p: 426×240 (YouTube)
144p: 256×144 (YouTube)

File:Common_Video_Resolutions_2.svg - Wikimedia Commons
File:Vector Video Standards5.svg - Wikimedia Commons より

Replace animated GIFs with video for faster page loads
動画の解像度とアスペクト比 - パソコン - YouTube ヘルプ
480p - Wikipedia
720p - Wikipedia
動画の画質と解像度「SD、HD、フルHD、4K UHD、8K、480p、720p、1080p、HDR、Dolby Vison」の意味と違い | 俺の動画。
Convert video files to MP4 through FFMPEG