Did it move? I hadn't seen any announcement of this... me -- Michael Elkins <me at cs.hmc.edu> http://www.cs.hmc.edu/~me PGP key fingerprint = EB B1 68 32 3F B5 54 F9 6C AF 4E 94 5A EB 90 EC