We are grateful to the Mathematical Sciences Research Institute (www.msri.org) for help with their software. See their website for a large number of online lectures, including many in video format.