Re: [vdr] HDMI output detection problems