I think it's fair to take a little short hand for clarity when it comes to historical figures. We do call a particular Roman "Octavian" when he would vehementl

I think it's fair to take a little short hand for clarity when it comes to historical figures. We do call a particular Roman "Octavian" when he would vehemently deny that fact and proclaim loudly that his full legal name is Gaius Julius Caeser[1]. If Mary Mallon were alive today it'd be in extremely poor taste to call her Typhoid Mary to her face - but that name seems to be the historical consensus and we're not going to change it on HN. 1. https://en.wikipedia.org/wiki/Augustus https://en.wikipedia.org/wiki/Augustus it was a whole thing but he put significant effort into being the heir in name and perception of that other Caeser guy.