format

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...