Accessing MicroMod Connector pin13 and pin15

There are two pins on the Teensy MicroMod connector labeled pin13 (RTS1) and pin15 (CTS1). They don’t appear to be connected to anything. Are they connected to some core pin on the Teensy? I want to use these two pins for digital IO. If they are connected somewhere, what core pin numbers do I use to access them?

According to the schematics, they are not used / not connected on the MM processor board to the Teensy processor.