Re: HDMI and Audio
Yup, I also have sound prefs on as a shortcut and a pactl set-card-profile script for when it forgets that analog-stereo exists. Not a huge problem just one of those little annoyances
Ubuntu 19.06 sort of remembered that HDMI also has audio after I set it once, but only had a short time to play with it while setting up a friends machine