GPS PPS output on RAK2287 with Pi HAT

What is the best way to get GPS PPS that is available on the RAK2287’s pin 19 to a GPIO pin on the Pi HAT? Are there any jumper pads or PCB traces for this capability? Or do I need to solder a wire? I cannot find a schematic for the Pi HAT.