Correct, the PPS signal isn’t connected directly to the 40-pin header. But it is available on the PPS breakout pad on the ‘left’ of the board. I’d recommend soldering a row of eight header pins into the breakout pads, then use a jumper wire to connect PPS to your GPIO of choice.