The PIN 13 in the RAK831 document is RAK831 module’s PIN13.
But in the source code on Github, PIN 17 means RPi’s PIN 17.
Then, we you use RPi + RAK831, RAK831’s PIN13 will connect with RPi’s PIN 17.
The Schematic is correct.I think the description in RAK831 document is not correct.
The Schematic you showed is a transfer board which connects to RPi(by H1) and RAK831(by H2).
So RPi connector’s PIN11(GPIO17) will be connect to RAK831 connector’s PIN19(1301_RESET).