Should Discourse convert GIFs to mp4 video files?

[codinghorror (Jeff Atwood)]

I am fine with special MP4 handling onebox for these services that specialize in it.