Comment 48 for bug 1847570

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.