Comment by dang

We sometimes leave the submitted title up even after changing the URL. In this case though, I'd rather give the thread to the submitter who first posted the original source, and since doing so involves re-upping that submission to the front page (approximately to the same rank as this one reached), I don't see why we would change its title now.