Typo in haddocks.
Parameterize defaultAnimMainRender to take a lens for output.

We need to know how to modify the base case options to put a new file
name in place.  Another approach could have been classy lenses, but
this is simpler for now.