Many times if GIF is converted to video it will ruin the pixel art, or in some cases even produce bigger file [1]. I get the efficiency argument for conversion to video, but in some cases it is a no-go. There should always be an option to not convert to video.
[1] https://github.com/tootsuite/mastodon/issues/6403