I think your point was already addressed with:

>People's opinion on their coworkers is for private discussions with their manager and HR, and don't get precedence over their colleagues comfort and security at work.