Earlier quoted context omitted.
Absolutely! We actually made a webm version (that's the smallest size to date and the fastest to create), but just wanted to perfect GIF creation and get some captions on the system early before introducing webm. Maybe we should reverse that?
If you want to convert GIFs to WebM/MP4/etc you might want to check out the MediaCrush[1] code. Or just use https://mediacru.sh , which is and always will be free. [1]: https://github.com/mediacrush/mediacrush
Do you think it's worthwhile? If not, why?