Selecting networked Arduino should select matching board type

When I select a network port from the Tools -> Port menu, then it would be nice if the corresponding board type would automatically get sected.

The Arduino is broadcasting its board type in the Zeroconf `TXT` record, so why not use it?


Start by tracing the Tools -> Port selection flow in the Arduino IDE and how network-port Zeroconf TXT records are read. The change is complete when selecting a network port automatically selects the matching board type; the issue does not name a specific file or test.

Written by the indexing model from the issue text.