Many times I end up wanting to export directly to a GIF instead of MP4. Would it be in scope for this project to export to GIF (likely as a follow on transform of the MP4?)
It's in our plans since the beginning, @rgbkrk! We're working on it and it will be available soon! Thanks for the issue 馃槃
the following is just a suggestion:
try to record uncompressed if gif is selected. in most cases it would make a big difference in output size due to how gif works. (i know the gif spec quite well)
you can check the output here: https://static.gottz.de/gif/
(dem code is uggly. don't look at it. this was a coding jam)

I'm just here to say that your website is marvellous, @GottZ.
Most helpful comment
It's in our plans since the beginning, @rgbkrk! We're working on it and it will be available soon! Thanks for the issue 馃槃