Lead Team issues should be solved within the Lead Team. As far as I can tell these are nothing short of slight fun pokes, not really harassment or anything of the sort. Obviously you have sincere issues with this, and it should be resolved appropriately, but a report is not the correct action to make in this scenario.

We'll deal with this when you get back from holiday, which should be tomorrow if I remember correctly.

Lead Team issues should be solved within the Lead Team. As far as I can tell these are nothing short of slight fun pokes, not really harassment or anything of the sort. Obviously you have sincere issues with this, and it should be resolved appropriately, but a report is not the correct action to make in this scenario. We'll deal with this when you get back from holiday, which should be tomorrow if I remember correctly.