Shriram wrote: > > [a long and excellent post] I'm just replying to say "thanks for writing this" in public. So: thanks for writing this. :-) -- Neel Krishnaswami neelk@cs.cmu.edu