TinyGPS test_with_gps_device

But I will challenge myself to understand how to next...

There's really nothing to it. The pins on the board are labeled RX1/TX1 for the Serial1 instance, RX2/TX2 for the Serial2 instance, etc.