Tak jsem nakonec požádal ChatGPT a dostal odpověď: tohle je docela častý problém na Ubuntu, ale dá se snadno vyřešit. Když připojíš notebook přes HDMI, systém někdy automaticky nepřepne zvukový výstup z reproduktorů notebooku na HDMI.
Stačilo v nastavení zvolit výstup HDMI :-)