Especially for GIFs, I think knowing what the resulting dimensions are would be super useful.
Thanks so much for adding GIF export support btw! It’s such a huge deal for an animation application you want to test and show people quickly.
(On a side note, I appreciate that there’s an option for ProRes with alpha. I think I didn’t notice that was there the first time.)