/dev/ttyHS0 or /dev/ttyHSL0

I use mangoOH green and UART1 uses file descriptor /dev/ttyHS0. I have to write program on FX30 and FX30 documentation says that UART1 uses /dev/ttyHSL0. Is it correct? I don’t have FX30 so I cannot check it. Does someone know if FX30 documentation correct?