I agree it's not his responsibility (but explained why he should anyways in response to larrybobsf).

I also said that in this case, where it was systemic and tolerated, he made the right decision to escalate it to HR and the court system who actually have the power to do something about it.