Hello HB:

On 4 Mar 2023 at 13:21, Hendrik Boom wrote:

> ... found a mechanism that works somewhat ...
> ... audio isn't sent down the HDMI cable to the TV.

When I read your post the first thing that popped into my mind is
that there *may* be a problem with the HDMI cable or the settings
related to it.

Check here, seems to be a similar problem:

https://itsfoss.com/how-to-fix-no-sound-through-hdmi-in-external-monit
or-in-ubuntu/


Best,

A.