You'll get the .gif automatically: https://j.gifs.com/Q1AA6L.gif and you can change the extension for the .mp4: https://j.gifs.com/Q1AA6L.mp4
You can click on add effects to do a bunch of neat stuff as well.
