Wait -- there's a "long" video? Longer than the 90-minute or so video that I watched? As for the "hopelessness" of locks, they have become the Moore's Law of the noughties -- the obligatory thing that every talk begins with, to the point of having become too trite to hear again. Shiram