Workaround for now : in a terminal execute `pulseaudio -k -D` and it will
rescan and detect the HDMI output.
I forgot to mention it clearly : the HDMI output sink isn't detected
anymore _after_ the power has been *set back to ON*, of course. I
did not try to have HDMI output while the monitor was off ;)
Package: pulseaudio
Version: 13.0-5
Severity: important
Hi.
When I power off my HDMI monitor that is also the default sink for pulse
audio, the HDMI audio output isn't detected by pulseaudio anymore.
Before turning off the monitor `pactl list sinks` outputs :
```
Sink #2
State:
3 matches
Mail list logo
