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 it was a whole thing but he put significant effort into being the heir in name and perception of that other Caeser guy.
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 it was a whole thing but he put significant effort into being the heir in name and perception of that other Caeser guy.