Convert To Video (gif option)

Hi!
There's one thing that would be great, the "convert to video" outputs many file formats already, so it would be amazing (I think) if it could also output to a .gif file.
There's the issue of quality, color palette types and all that though, so might be a tad bit more convoluted than what the minimalistic widget is meant to be.

PS:
I have found these tools (that I was not even looking for) amazingly productive, the toolbox has become a Swiss army knife and now look for things in it before even searching online or on the App Store for a similar functionality. Cheers for that.