As per the Schematic of DWM1001 DEV board Tx LED is connected to GPIO_3 via R17 and is RED
and Rx LED is connected to GPIO_2 via R16 and is Green.
But in DWM1001 DEV colour of LED is inverted, because LED connected to R17 is GREEN and R16 is RED.
Thanks for reporting this, I can confirm this is a mistake in the schematic.
The impact should be minimal but it can be confusing.
Thanks for confirming.