The only point I wanted to make is that it’s normal to talk about “Sophie Wilson” regardless of whether or not you’re talking about events that transpired when that was her name or about previous events. In other words, if someone is talking about Sophie Wilson’s role in ARM, they are probably just being polite and not trying to make some kind of point about gender.

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?