Selecting networked Arduino should select matching board type #4574
Description
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?
