Per esempio, ho convertito l'animazione che volevo postare ora ora con ezgif online. Il file MP4 originale è da 530KB, e il GIF è venuto da 2.55MB. Decisamente, l'MP4 è un bel guadagno.