hi, i have a problem with the sound after the computer goes to sleep. when switched on again, the audio no longer passes from the monitor connected via HDMI but directly from the internal PC speaker. initially I changed the audio skins by setting only HDMI as the audio source but I have not solved. I edited the pulseaudio config file as indicated by some online wikis but the audio freezes. I solve it only after running pulseaudio -k, after turning the monitor off and on again, and then modifying the output from pavucontrol. do you have any advice?