Relatively speaking, the amount of heat added by a good driver is small compared to the heat generated by the P7 itself. For a average driver efficiency of say 80%, a P7 driven at full power (let's say 10W) will require about 12.5W of power sent to the driver (10W/80%). So potting the driver to the heat sink will add about 2.5W of additional heat that needs to be dissipated. The P7 is already generating roughly 8W of waste heat.
It's not a case of excess worry. If you can use a Shark Sink, then it is just as easy to pot the driver on the side of the Mag tube as it is to pot the driver to the heat sink. So why not do it right? Of course it is always cost-benefit. If you can't use a Shark Sink and it is a hassle to figure out a way to attach the driver thermally to the Mag tube, then potting the driver to the heat sink might be more desirable. Since I can't know all of the driver variations that might be used, I simply presented the desired approach in terms of thermal considerations. It's not a law of physics that you have to do it that way.
If I were using a Shark, Shark Buck, Blue Shark, or hipCC, I'd sink the driver to the Mag body using a Shark Sink. Unquestionably. The less the LED heats up, the better the performance. That is a law of physics.