Cute little carameldansen ponies.

I Tried a few new free video editors, one being Kdenlive and it has gif exports! just, randomly there. Its new, and uses ffmpeg as a base and is a bit weird to set up the first time since you need ffmpeg and drag files over for it to work.

https://www.youtube.com/watch?v=huZQwS1-eh4 for a tutorial, only sharing this as some could find this useful. My first gif was a 400mb 720p file.. pretty sure derpibooru wouldnt let me upload a 400 meg gif.