doc: revisions to animation.py