The issue for me isn't the schematic for the HP leadsets, it's the footprint for the P6860. I don't have a ton of experience doing footprint modeling, and the only version I've seen is an old EAGLE library, so making a new footprint in KiCad feels a little daunting for me, especially at the tolerances we're talking with this probe.
I wouldn't be doing super high-frequency measurements, so I'm less worried about the termination network, but I'm also getting a little confused over terminology. HP refers to an "isolation network" -- I'm guessing this is the same thing as a termination network, but I want to be clear. The Tek probe manual doesn't mention an isolation network or termination network for the P6860 at all (nor does it mention one for the P6810, which is the 8-channel per pod flying lead version). What the Tek specifications mention is a 0.7pF capacitive load, along with 20kΩ input resistance.
However, they also mention an "equivalent load", which is clearly spelled out as the "load model" in the Tek probe's manual.
Again, I'm not doing measurements on high-frequency signals (for the most part, I can really only see myself looking at signals in the sub-100MHz range) so I don't know that it's critical, but I want to make sure I'm doing the right thing.