The only references to sexual harrasment I found in OPs post was:
> She accused the company of sexism and sexual harassment (independent investigator found none, and other female Github engineers said there was nothing wrong)
> JAH also complained of terrible sexual harassment - that is, men looking at women spinning hula hoops. Women did not complain, but JAH got offended on their behalf anyway.
Are these not facts? Were "men looking at women spinning hula hoops" and this other individual brought it to someone's attention as sexual harassment?
> She accused the company of sexism and sexual harassment (independent investigator found none, and other female Github engineers said there was nothing wrong)
> JAH also complained of terrible sexual harassment - that is, men looking at women spinning hula hoops. Women did not complain, but JAH got offended on their behalf anyway.
Are these not facts? Were "men looking at women spinning hula hoops" and this other individual brought it to someone's attention as sexual harassment?