A tool for converting between different media formats (without uploading to a server). It supports m3u8 to mp4, mp4 to webm, mp4 to gif, avi to mp4, and more...