JTAG pins on Duo S?

Is JTAG available on the Duo S?

The docs page only lists JTAG_TRST, JTAG_TMS, and JTAG_TCK .

The TRM suggests that A28 / XGPIOA[28] / 508 / UART2_TX / UART1_TX corresponds to TDI, and should be available,

and XGPIOA[29] should be TDO, and but is used to drive the blue LED.

Is that correct?
Is there any solution for connecting JTAG to the board? For either RiscV or ARM core.