Comment by hn_throwaway_99

Agreed. The "HR is not your friend" trope gets thrown out a lot, but in cases where your goals align with the company's (i.e. you don't want to get harassed, and the company doesn't want to get sued), HR is the place you should be able to go.