SInce the Patch SM I received a few weeks ago (in Patch.init()) came with the debug header installed, I assumed (oops) that they were installed on all of them now.
I received another Patch SM yesterday, along with another STLINK.
Darn - no debug header installed. But the Seed included in the same order came with a debug header installed…
The inclusion or exclusion of the header ought to be made clear on the ordering page. If E-S is trying to save a few cents, make it an order option, like the pins on the Seed. But it is quite inconvenient for me to have to track down this part and pay more shipping.