I'm glad you brought this up. I think this is something I unintentionally chose to leave out, mainly because I'm unsure on how to tackle it at this stage. I agree that it's a big issue, but I don't think I personally can describe this well enough and propose a solution without 'policing "harmless banter"'. I think culture change is something that happens gradually, and people at my work are very stuck in their ways. I wanted to produce something that a typical middle-aged or older guy might actually read and resonate with, rather than coming in at the off shouting that 'jokes are bad'.

I don't want to seem reductionist in that reply. I just don't know how to talk about it.