From what I can tell there are only 4 pins like this, and I don't see an explanation for them anywhere on the pinout cards:

CTX1 is in normal font on pin D22, and also in a lighter gray font on D11
CRX1: D23 -> D13
RX5: D21 -> D38
TX5: D20 -> D39


Why are these pins in particular duplicated?