[_cudgel]

My advice here is straightforward: fuggedaboutit.

Adults curse; sometimes too much. It makes them look stupid, too. But there's no need to be both annoyed and offended. Be annoyed, sure, but then perhaps consider that you're simply a better person. Consider, too, that going to HR over something like this _will_ make you enemies.

Finally, consider just how much care and feeding that moral high-horse costs you, in emotional and mental energy.

Just let it go!