Does someone know where (USB) MIDI port names in Linux come from ?

For example a MIDISport 4x4 shows "Midiman" at lsusb (the same for each one if there is more than one device. This comes from the idVendor, idProduct in the device descriptor)

But "MIDISPORT 4x4 Anniv MIDI 1 to 4" by amidi -l for the device. Thus wonder where amidi (ALSA) gets the product/portname from.

There are other examples where the SUB device ID is not known by Linux but the port name does have the vendor/product name

Microsoft argues that some MIDI devices do not report a name But since Linux does not have a driver for each device I highly doubt so. (have not come across one)

Microsoft chose to use the name from the device driver in their UWP MIDI implementation which has apparantly been not a good idea It has resulted in multiple duplicate device/port names for different devices.