“It’s no secret that people are often erased from the history of big-tech companies.” Women, for example.