>> She used to work as a teacher in a primary school, where most fellow teachers were women.
>Then think what it means that despite all that, the students still do *better* there than in a mixed-sex school.
Don't confuse mixed-sex teaching staff with mixed-sex student body. Primary schools will usually be female-teacher-dominated, whether they're single-sex or mixed; and single-sex schools often don't restrict themselves to teachers of that sex (mine, a boys school, had an approx. 60/40 male/female staff).
That said, I'd still be wary of NAR's anecdotal evidence: primary schools and technology companies are very different places to work, perhaps too different to be able to seperate out gender influences from other factors.