Describe the bug
After installing the first version of the Teensyduino Board Manager version for testing the Arduino IDE and Arduino IDE 2, the GUI is showing the address field of the device and not the label.

Right now the GUI is showing things like: Teensy MicroMod on usb:0/140000/0/1/4

As @PaulStoffregen mentioned in the PJRC forum post:
https://forum.pjrc.com/threads/53548-Arduino-CLI-Alpha-Release-Teensy-Support?p=299387&viewfull=1#post299387

According to the Pluggable Discovery Specification

It appears like the GUI is showing the address and not the label.

To Reproduce
Steps to reproduce the behavior:

1. I installed the nightly builds of the IDE yesterday
2. Install the first board manger version of Teensyduino, instructions in:
3. https://forum.pjrc.com/threads/53548-Arduino-CLI-Alpha-Release-Teensy-Support?p=298914&viewfull=1#post298914
4. Plug in a teensy example Micromod Teensy
5. Look at the names shown for the Serial ports

Expected behavior
I am expecting that instead of: Teensy MicroMod on usb:0/140000/0/1/4
It would show something like: Teensy MicroMod on COM118

Screenshots
image

image

Desktop (please complete the following information):

• OS: Windows
• Version: 10

Additional context
Not sure if this may be related to the issue: #567

And also may be partially related to the Pluggable Monitor issue: #769