“Does this support DirecTV GeminiAir dongle? No matter what HDMI port I plug it into, I keep getting “no signal” error message. And I can’t rename the ports—which used to be assigned to devices I no longer have. Also won’t recognize an antenna”