is there any way to export your file as a video or animated gif? Or is there any way to convert the html into video or animated gif?

thx!