Like, i get that they are the same in effect, but I still believe in the semantics different between a moving picture, and a audio-track-less video.
A gif can never have audio.
A img tag can never have audio.
mp4s, m4as, webm, embeds tags, video tags, etc, can either have or not have audio, its a surprise.
Because they are videos, not moving/animated pictures.
Anywho, apng is a real standard now, so one can just use that instead of gifs.