But as I said in an edit, it’s bad form to deadname someone even if you are referring to a period when they went by the deadname.
I think the OP was just saying that her role was underplayed more than they were complaining about the title. If you check their comment it says nothing at all about gender.
We talk about the past events all the time using names that weren’t applicable during the relevant time period. The Aztecs didn’t call themselves Aztecs. This shouldn’t be a difficult concept in general.
If there was a docu-drama about my early days, I would expect them to use my birth name, rather than my married name. Unless the events happened after my marriage.
Quoting the OP:
"Notably, no mention of Sophie Wilson"
The OP's question was literally asking about why the name Sophie Wilson was not mentioned or given proper credit for their contribution. Please stop twisting it to make it seem like there has been some transgression or slight, that simply does not exist.
> To make a short reference to something.
Sense 2 (the sense you were thinking about) is a specialised sense used in "philosophy, linguistics", and even then the context makes it clear when this sense is meant. 'No mention of "Sophie Wilson"' might conceivably be referring to the name, but 'No mention of Sophie Wilson' refers to the person.
Historical retrospectives show systematic erasure of trans women's contributions to STEM. (Certainly this happens in other fields, too, but I haven't studied them enough to notice the pattern.) This is worth talking about, if it has happened here, and does not need to be derailed by a pointless semantics argument.
I am not accusing anyone of any transgressions. I think you’ve just misinterpreted the OP’s comment as being about gender (as they’ve now confirmed here: https://news.ycombinator.com/item?id=44939643)
That's the general rule, but some people make exceptions. Sophie Wilson was involved in the production of Micro Men, so presumably signed off on however she was depicted in it. (Then again, Clive Sinclair was also involved, and per https://web.archive.org/web/20250711183307/https://www.indep... objected to his portrayal, so…)
I try really hard to avoid getting anywhere near these contentious things ... but I think Wikipedia's handling of this seems reasonable, at least for some value of reasonable.
I don’t see anything contentious about respecting someone’s preferences about what they like to be called. Take gender out of the equation and who would argue with a William who prefers to be called Bill?