Successfully tested on eoan.
I enabled the proposed repository, upgraded everything (so including pulseaudio 13.0-1ubuntu1.1) then rebooted.
The audio device is no longer switched to HDMI when the screen wake up after standby or when login-out and in.
(note that the workaround from the description was not applied, so no possible confusion here)
Successfully tested on eoan.
I enabled the proposed repository, upgraded everything (so including pulseaudio 13.0-1ubuntu1.1) then rebooted.
The audio device is no longer switched to HDMI when the screen wake up after standby or when login-out and in.
(note that the workaround from the description was not applied, so no possible confusion here)
So this is all good from my point of view.