Exporting Supademos in MP4/GIF