HDMI & pulseaudio on Ubuntu

[peter_b]

Haven't tried this myself yet, but had the same problem:

"No sound on HDMI Ubuntu 20.04":
https://askubuntu.com/a/1415109

However, my GFX card doesn't seem to be able to transport audio over HDMI - or the driver doesn't support it.
Anyhow, HDMI doesn't show up as audio option on my system.