In the code, or on a schematic I would label pins what they actually are and not what they are to be connected to.
So in the GPS library the RX pin is the one that receiving data into the Arduino and the TX pin is the one thats transmitting data.
On the GPS schematic a pin labeled GPS_TXD most would assume is a pin that’s transmitting data ……………….