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.
Do you think it's worthwhile? If not, why?
[1] https://blog.mediacru.sh/2014/07/12/State-of-MediaCrush-2014...