On a mangOH green it would be HS0, which is a higher speed interface than HSL0. I don’t have the numbers in head, but HS it supports more modes than HSL. FX30 might not have integrated that feature (yet?).
So on mangOH it should be ttyHS0 and ttyHSL1, and seems like both documentations are correct.