I'm also now having trouble opening the website crypto.cat. It eventually opens but something must be bogging the server down. It opened fine earlier today.
I'm very surprised he got that domain. .cat domains are generally restricted to people in Catalan, Spain or for websites with some cultural interest (or even just the page being translated into catalan).
A more interesting video might be this one: http://vimeo.com/45830811 where in-browser cryptography is discussed at a HOPE talk. And yes, Bob and Alice are always online so they need to exercise regularly while surfing so they don't get so fat that they can't get out the door to go outside.