I see. My sense is that the Spanish one is actually used if you do know the user is female, but of course most software doesn't know the gender and defaults to masculine form.