Just in case it's useful to anyone else, an HD version of the video (where the code is legible) is available on vimeo here: http://vimeo.com/40281991