After some thought, I agree HR should be involved to caution him. As for ruining his life, it feels like a stretch - but imagine, he is publicly outed (with this much attention, it's possible). People have their pitchforks out - so I know this viewpoint will be downvoted. But it is best if she brings this issue with HR and deal with it internally with the company.