The devices have their own name, in the form of USB manufacturer and product string descriptors. Now we use those in the GUI as the device names.