Check this reply for use of the serial discovery tool: IDE loses track of CP210x port - #4 by ptillisch. Maybe it helps.
There should be official documentation but I could not immediately find it on the web. I did find GitHub - arduino/serial-discovery: An Arduino IDE pluggable-discovery for Serial ports and you can read the readme.