The GIFs total 30MB (!), but as videos[1] they're 1-2MB total. That's a 15x-30x reduction in size. Surely that large of a reduction in bandwidth and improvemen

The GIFs total 30MB (!), but as videos[1] they're 1-2MB total. That's a 15x-30x reduction in size. Surely that large of a reduction in bandwidth and improvement in user experience is worth it? [1] To get the frames of the GIFs: for i in "* .gif"; do convert $i -coalesce $(basename $i .gif)-%02d.png; done And encode them to webm: for i in "* .gif"; do ffmpeg -f image2 -r 30 -i $(basename $i .gif)-%02d.png -vcodec libvpx -b 1M -crf 5 $(basename $i .gif).webm; done