gif
https://css-tricks.com/gifs-without-the-gif-the-most-performant-image-and-video-options-right-now/
最適化のために、他の拡張子使う話
結論は出ていない