Was “HDMI with Ethernet” actually implemented by any devices? I can’t find any reference of devices supporting it. (The idea was that fancy HDMI cables could a

Was “HDMI with Ethernet” actually implemented by any devices? I can’t find any reference of devices supporting it. (The idea was that fancy HDMI cables could also carry Ethernet, so an AV receiver or TV could also be an Ethernet switch for connected devices.)