I wish I had done that but getting HR involved seemed like the nuclear option to me, especially for something the person may not have known about. I had approached the team manager but he, in spite of frequent rants about the evils of political correctness, didn't wish to act since he thought it was due to what he called 'culture'. Unpleasant business all around.

I loved the technology and product at that workplace but such awkward situations ensured that I moved on as quickly as I got the opportunity to do so.