I think the problem has more to do with the fact that mp4s are a video compression of the original format.
Which means a loss in quality....
I mean, as long as you can still use regular gif it's fine, but as soon as they decide to remove the original formats and go full mp4 (or whatever compressed format), we're fucked.