Note: MP4 is used when the browser supports it; otherwise WebM is produced. PNGs are exported with transparent backgrounds.