Dr. Nikolaus Klepp wrote:
I don't use HDMI (at least, not yet). The port is there on my laptop, but never touched.
Which results in no sound when something uses it :)
In some hardware configurations the HDMI audio is loaded first and probably all sound is routed through this card, however there are instructions how to solve this issue. I suggest going through https://wiki.archlinux.org/title/PulseAudio/Troubleshooting
and see it can help solving