"Misogyny" means "hatred or mistrust of women". I don't see how this expressed either a hatred or mistrust for women. You are calling this person a horrible thing over a very small issue. I do not find this especially empathic.
I wish people were a bit more careful before slinging these words around, not just because it's overly harsh but also because I consider these to be serious issues, but when used as a cudgel carelessly thrown around it devalues the term, and thus devalues the actual real problems it describes (or rather, once described, as this ship, unfortunately, seems to have already sailed).
There really is some nuance to be had in these things.
A joke about performative third parties is not the same as joking about the class itself. That is why Tropic Thunder is still largely seen as acceptable blackface - because it was only used for the purpose of satirizing the act of blackface, not black people. Likewise, jokes about performative over-reactive wokeness by corporations are not insulting any tangentially mentioned race/sex/gender class.
The joke was that the bug could be caused because it was written FOR a woman, not BY a woman.