> Then I learned that IP-over-HDMI is a thing!

While it’s in the spec, I’m not aware of a single piece of consumer electronics that actually support it. The standard is an utter failure.

In HDMI 2.1 the wires previously used for Ethernet-over-HDMI are now used for eARC making these two features mutually exclusive.