At least for me, for each of the videos in that gist the only difference between them was the timestamp at the beginning of the video. All the movie clips were the same. :/
Since I first replied to your comment, people have figured out that there's more than just the 'time' (that appears at 0:23 in the video) that changes from one video to another. There are 'parameters' that get encoded in the video file name/URL's MD5 hash as well. Compare these two videos:
Original video file name: blue-a-b1-c1234-d-e1-f-g1-h1-i