Though if an HDMI-specific solution is found then we should go back to using bug 1847570 and make it more clearly an HDMI-specific bug.
Though if an HDMI-specific solution is found then we should go back to using bug 1847570 and make it more clearly an HDMI-specific bug.