Convert .gif to .mp4 for preview

[ShoshinNikita]

With the following command we can convert .gif to mp4. (source):

ffmpeg -i animated.gif -movflags faststart -pix_fmt yuv420p -vf "scale=trunc(iw/2)*2:trunc(ih/2)*2" video.mp4

.mp4 files take up much less space. However, this operation can be quite slow and CPU intensive. And it is not very clear whether this feature would be useful at all.