Does MicoAir743 FC need RX3-TX3 crossing?

It seems my copy of MicoAir743 FC has switched UART3 (GPS) port RX/TX pins or it’s wrong description or it’s a definition file or I’m wrong. Do not know.

To make GPS working I had to connect it directly TX<>TX RX<>RX.

Lost 2h to figure it out.
GPS used before with std connection.