Number 3 is by far the best title, as it explains exactly who Shamir is and why we should care. I wasn't aware whom he was prior to that title. I think that in

Number 3 is by far the best title, as it explains exactly who Shamir is and why we should care. I wasn't aware whom he was prior to that title. I think that in this case the HN renaming policy isn't doing the story a favour.