Source? HDMI includes Ethernet in the spec, but I've never heard of any devices actually implementing it.