A polite request to HN moderators -- When you change an article title I think a comment mentioning that fact and documenting the original title would be a good idea.

Current title: Miles O'Brien: My life, lost and found (the CNN article title)

Original submission title: CNN contributor Miles O'Brien on recovering after losing an arm

I'm not saying mods shouldn't change titles sometimes. Just that doing it silently doesn't seem to really fit in with the HN ethos.