“Is high speed HDMI the same as HDMI 2.0? If so, are the HDMI ports on the receiver 2.0?”