Arduino 2.0.0-beta.12 No hostname shown in OTA update, only IP address...

Arduino 1.8.13 will list IP address AND hostname of all online ESP8266's Arduino 2.0.0-beta.12 ONLY lists IP addreses
This is difficult as I have many OTA-updateable ESP's online and most are DHCP addressed.
Anyone else notice this different behavior? Believe me, I googled the issue, checked the forums and found no answer. This is in Linux Mint 20 on a new installation of Arduino 2.0
I am new to posting here. Please forgive me if this is the wrong way to ask or post an issue.
Tom Leitschuh
(screenshot attached as png)
I'd wager IDE developers would know more about this, plus it is still a beta and it would be better to report this issue at the arduino/arduino-ide or forums instead of here https://forum.arduino.cc/t/network-ports-not-shown-in-ide-2-0-0-beta-7/865932 https://github.com/arduino/arduino-ide/issues/123
Looking at the arduino-cli output, there are no labels
$ arduino-cli board list
Port Protocol Type Board Name FQBN Core
10.10.10.54 network Unknown
Might be a simple UI issue though, as the internal mdns-discovery tool will show things correctly labeled
(on Windows, found it at '~\AppData\Local\Arduino15\packages\builtin\tools\mdns-discovery\0.9.2')
HELLO 1 "test"
{
"eventType": "hello",
"message": "OK",
"protocolVersion": 1
}
START
{
"eventType": "start",
"message": "OK"
}
LIST
{
"eventType": "list",
"ports": [
{
"address": "10.10.10.54",
"label": "ESPURNA-8EABCD at 10.10.10.54",
...
}
I haven-t Port item under Board in Tools menu ! i'm in beta 12
hey everyone we opened an issue on the IDE 2.0 repo https://github.com/arduino/arduino-ide/issues/567
thank you for bringing this to our attention, hope we can fix it in the next Sprint, this requires a bit of action across a few repos
🤞🏼
ciao.ubi
Fixed in https://github.com/arduino/arduino-ide/pull/1335