2 ms·Surprised this story was killed. This comment didn't help.by rms 17y agoSurprised this story was killed. This comment didn't help.