@SimonCHulse That used to be the case, yes. But now* they alternate between names for men and women.
*i think this started somewhere in the past 25 years
@CiaraNi @eivind