Of all the ways to possibly "make it go away," ruining one old man's life is just about useless, and serves more as gratification for torch bearing villagers who think putting a head on a pike works to do that.
The problem is not a personal one. It's an impersonal aspect of our culture. It's cumulative and shared, meaning there is no one person or group responsible for it.
The twitter hashtag campaign perfectly captured what is ridiculous and cartoonish in the ideology, that chauvanistic element of culture, and not the individual expressing his views. It did not demand that that one person be villified, fired, or otherwise punished beyond maybe feeling a bit stupid.
It's an problem. How much is too much? How much will it take to exorcise sexism from the workplace?
What
ever
it
fucking
takes.
That means your efforts are serious and not just a coffee table chitchat subject. The same with racism, homophobia, antisemitism, ageism and the other many forms of odious discrimination. Because that's what it is, discrimination. Words are not just wind, they carry weight, enough to keep people out of places, events and well earned promotions.
And if it takes a battalion when just a kind warning won't do, well then I'm so sorry, no woman or black or gay earned your damaging rubbish, Mr Hunt (or whatever).
Is it enough of bashing chauvinists? If chauvinism, racism, etc are still there, I don't think so. It's already enough... of bullying people in societiy because one feels entitled to do that against people weaker than oneself.