Subject of the issue

In the Begin.ino file of the RTK Everywhere firmware, line 714 lists the following:

pin_GNSS_TimePulse = 8; // PPS on LG290P

Based on the comment and variable name, I assume that is for the PPS signal. However, in the RTK Postcard schematic and ESP32 Pico-Mini datasheet, GPIO36 of the ESP32 MCU appears to be connected to the LG290P PPS signal.