Used to have a friendly (chat in the street, very occasional coffee) relationship with my neighbour. We have done some building works recently. Neighbour pretty obnoxious about the works, which surprised us. At one point, they even tried to stop the works- our party wall surveyor said that if they continued, to call the police. Only lasted a day, but was very stressful and awkward afterwards. Obviously did not want to call the police on my neighbour- how can you be friendly after that. Works nearly over, but neighbour was then abusive (swearing) at our builder. I feel sorry for the neighbour in some ways, as clearly they cannot cope, but I'm also sick of the sense of entitlement and rudeness.
So my dilemma is this: my neighbour has a porch at the back of their house that was built without planning permission. In a moment of frustration, I talked to the planning department who said if I reported it, it is likely they would request that the neighbour take it down. The porch in question does not bother me at all, but I am tired of being at the brunt of my neighbour's unreasonableness. Do I go high and just move on, or should I report them to teach them a lesson?