Yes, I caused the problem, as I had them apart last.
I did torque the bolts on replacement, but I don't remember 80Nm as being the figure which I've just looked up, so the incompetence is mine. Mind you, none of it would have been necessary if the gearbox pipes had been hung correctly, by the...