Cubeorangeplus 80-pin DF17 Pinout


I’m trying to reconcile the serial port mapping for the cubeorange+
I’ve seen the serial mapping in the docs as this:
MicrosoftTeams-image (2)

This matches the firmware board config, but in the same docs I see a pinout for an 80-pin DF17 connector. Pins 38 and 40 caught my eye:

Also the docs state that serial1 is Telem1, despite it seemingly being mapped to UART2 in the firmware and docs.

Are the serial1/UART1 pins on the DF17 connector actually used for something else, or are they just unconfigured in the firmware?