Comment # 5 on bug 98324 from dwagner

JFYI: A patch attached to report
https://bugs.freedesktop.org/show_bug.cgi?id=102323 provided some improved
behaviour regarding switched-off HDMI displays.