I tried both options. Editing the conf file does not give me any audio devices after logging out and back in. No luck.
Can view HDMI out + Analog input in pavucontrol, audio controls shows that audio plays but I don’t hear any output on the HDMI TV.
This is quite peculiar.