Ada Lovelace is a real person. What's patronizing about it? We didn't make her up out of pity for women.