Huvius:
Petroleum jelly on your side of the pond might be slightly different from the Vaseline sold here in Oz. Our stuff doesn't melt at normal "room" temperatures, and where I live, it can be hot! Never had it melt on the firing line.

Remembering too that the over-ball lube is probably more for chain-fire protection than for leading prevention in the bore.