Handy online tool if you want / need to convert quickly a video or image file in another format.
Excellent for converting mp4 to gif !