Thanks for clearing up this mystery. Yeah, to me the original article headline was just fine. I think there is a bit of a problem when HN users change headlin

Thanks for clearing up this mystery. Yeah, to me the original article headline was just fine. I think there is a bit of a problem when HN users change headlines when posting articles...cutting even a little bit can change the meaning significantly.