[Niels]

Thanks a lot for asking Alan! 😉

I believe exporting as animated gif is a very relevant feature and actually it is already on our todo list for this alpha stage.

But thanks for reminding me of its importance.

Best,
Niels