This is just so boring, I (and I guess others too) don't give a flip if he's retiring or whatever! There is no point in posting this to HN, everyone knows that the we don't like such stories here. Hence, the debate is futile.