No, that really is spectacularly missing the point. I’d expect HR to help as it is outside my realm of expertise and inside theirs. If they then failed maybe I’d consider legal action. She is the senior HR person.
What you’ve failed to address is the fact that perhaps this person was entitled as of right to work in an environment free from harassment in the first place?
£100K for a NHS HR manager? She needed a pay out as she knows that she won’t be able to ride a gravy train like that again.
Ah, the politics of envy. What an unpleasant thing to say. Workplace harassment is unlawful whether you’re paid minimum wage or £100k p/a. What you earn has nothing to do with a reasonable expectation of how your co-workers should behave towards you.