If you or someone else can't persuade him to leave me alone then I worry it could escalate. He obviously doesn't like me, but apart from one DV years ago I don't think I've done anything against him and I really try to avoid fights. He's pissing off others with his comments so things could get worse and it really is not my fault. Muting is not the answer.