"Let's artificially use the statistically unlikely case that the developer is a woman, in order to inspire more women to be programmers"...

What kind of BS magic thinking is that?

If you want to inspire women, teach them about the technology as girls and encourage those who like to work with it.

Pronouns ain't where it's at.

I disagree with you. Although I stick to "they" as I think it's perfectly fine grammar wise, you getting upset because of your own bias and thinking it's an issue because the author wrote "she" instead of "he" is a bit silly, in my opinion.

Edit: Oh, and language has a massive effect on our thinking patterns, so yeah, you actual could possibly make the case that pronouns matter. They don't to me, at all, and if they "don't" to you, why express frustration or call it "BS"?

This seems rather a stretch , I don't see anybody suggesting that this is a panacea but I see no downside to this approach.

There is no loss of clarity in writing whether your hypothetical developer is a "he" , "she" or any other pronoun. It is certainly preferable to clumsily using "they".