Finally, you can export your animated banner in formats including GIF, MP4 video, WebM video, and animated WebP. It also lets you export animated banners to an HTML file.