Note for Apple Macintosh users: In order to view the avi movies in QuickTime you might want to install the free open source component bundle from perian.org, which supports many popular video formats, including the mpeg4 format that was used to encode the transitions (using encode_movie.py to drive mencoder).