Chelsea Manning isn't reading the HN thread, so why does it matter what gender you use? It's like telling someone to use Kolkata instead of Calcutta.
No, it's not like that for everyone.
Part of having a civil discussion within a community is understanding and accepting our differences—especially ideological ones. That means recognizing when what you say has the effect of moving us away from our shared goal of gratifying our intellectual curiosity and adjusting accordingly. It might not be possible to succeed in this all of the time, but we have to try, and this is a case with an obvious path forward.
A trans person other than Chelsea could be reading this right now. If you do not respect her identity then it could be (and should be imo) interpreted as disregard for trans people in general