“Can I stream a video file from my computer's Linux Mint OS to the tv using an HDMI cable? I can with my old Vizio VL370M tv. I ask because the Samsung 6300 series tv is not compatible with Linux.”