GIF to MP4 encoding in the browser and everywhere all at once | Not Hacker News!