“If you use Picture in Picture, must both sources be the same type. Both HDMI or DisplayPort, or can you mix and match them?”