That the tech industry has too few women is no secret.