CC2531 Hardware Serial, which one?

Stupid question again:

I use a newly bought CC2531 and want to set it up for zigbee2mqtt. My question is which Hardware serial do I enter. When I check it shows the information below:

 * /dev/ttyAMA0
* /dev/serial/by-id/usb-Texas_Instruments_TI_CC2531_USB_CDC___0X00124B00193B07A7-if00
* /dev/ttyACM0

And in the config I have to enter the “dev/serial/by-id/usb-Tex…” ? correct?

serial:
  # Required: location of CC2531 USB sniffer
  port: /dev/ttyACM0
  # Optional: disable LED of CC2531 USB sniffer
  disable_led: false

Thanks in advance for your help

I think you are correct so just go for it. Referring by serial ID is preferred indeed.