A string such as "mp4" or "gif" that specifies
a function from the animation package such as saveVideo
or saveGIF to use for saving. This can also be recognized from the
filename extension.
...
Additional arguments passed on to the saving function,
such as saveVideo or saveGIF from the animation
package.