Comment by hungryhobbit

Why does attributing any bit of mankind's progress to a specific individual matter? It matters because history is really boring if it's just about groups: we humans love individual human stories.

But, when some male jerk tries to claim they invented X or discovered X, but really a woman did so (something that is not unique to here: https://en.wikipedia.org/wiki/Matilda_effect) it's good for people to correct the mistake and properly attribute the person who really made the discovery/invention.