The trouble with going for PP is the old "it's easier to ask for forgiveness than permission" thing.
A couple of hundred extra mms would make all the difference.
2.5m isn’t much, because that’s from ground level.
Hence my Q about maybe digging down a little, say so the FFL of the building is at ground level.
And if he gets on OK with the neighbour, and the high point of the pent roof is 4m from the boundary, the edge nearest the neighbour is under 2.5m, and the neighbour isn't going to complain, JFDI is an option. Any subsequent hassle he can claim an ignorant misunderstanding that he thought 2.5m applied to the height nearest the boundary, but with nobody on the ground kicking up a fuss the council have to justify public interest in pursuing it, and they are so short of funds I doubt they would be able to do that. We're talking a small garden shed here, which at its
highest point would be 4-8" too high, not a house built without PP. If nobody tells the council they won't even know.