Thank you @willowtigger.

HR is not on the employee's side, unfortunately. What companies listen to are the words of managers, I've learned. And that's what matters the most, above and beyond what I have to say. So I don't think it will make any difference what I said.

I feel depressed.