This isn’t a problem, just a mystery that I don’t know how to solve. The pi either plays audio through the HDMI, or through the Pi’s audio jack, so depending on what I’m listening to, I switch it back and forth in Settings>System>Audio.
Thing is, there are three devices, not two, because the HDMI is duplicated with different names.
vc4-hdmi, MAI PCM i2s-hifi-o
vc4-hdmi, SNY SONY TV on HDMI
They both point to the HDMI output to the Sony TV, and there seems no difference between the two, so I’m guessing they both point to the same driver, which has changed its description in an update, but OSMC has both still listed. Something along those lines?
To my knowledge it has been like that since I last reinstalled it due to a card replacement, years back. But now I’m wondering why.