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.