My understanding is that Ethernet over HDMI is still used by consumer devices, just no longer for the original dream of switching wired internet given the moder

My understanding is that Ethernet over HDMI is still used by consumer devices, just no longer for the original dream of switching wired internet given the modern ubiquity of WiFi. More recent standards such as ARC [Audio Relay Channel; used for a number of surround sound setups] and CEC [Consumer Electronics Control; used for passing remote/controller data between devices] both piggy back on the Ethernet pins, and I believe they entirely interfere with using the Ethernet pins as Ethernet (though maybe only in the available bandwidth/speed?).