I have a HP EliteBook 745 G4 running Ubuntu 18.04 and I have a DisplayPort to HDMI cable connected to a 50" ONN non-smart TV. With this combination when I fire up pavucontrol I see two output types, "Built-in Audio Analog Stereo" and "Built-in Audio Digital Stereo (HDMI 3)" and I am able to use...