Batch video export

Hey ​@Jacob Consorti! Thank you for dropping your feedback/request onto the forum. I’ll make sure it gets noted (I also moved it over from a question → to conversation).

If you wouldn’t mind sharing: how much time do you estimate this takes up during your work? This is just for me to get an understanding from your perspective!