Expanded PDF (each animation is a page). Also uploaded to SpeakerDeck and Zenodo.
Web version that includes all the animations. Warning, some animated GIFs are large and take a long time to load.