Your gif converter is neat. But why do you re-encode the mp4? I understand that's necessary for the general case of taking in an arbitrary video, but since you'

Your gif converter is neat. But why do you re-encode the mp4? I understand that's necessary for the general case of taking in an arbitrary video, but since you're ingesting a pre-processed mp4 and producing an mp4, why the lossy conversion? Original: https://v.cdn.vine.co/r/videos/F91F3B3C4A1403892123400577024_53641f9d8d1.35.1.565077F6-EF2F-42F8-9282-5CC446E4305D.mp4 https://v.cdn.vine.co/r/videos/F91F3B3C4A1403892123400577024... sha1: fe3f47da5fcd6b812aceabca1261d83140d83325 Converted: https://j.gifs.com/66YY8R.mp4 https://j.gifs.com/66YY8R.mp4 sha1: 40c143447b02b7c919e20794593be4c95918bd56