> Is HDMI over USB even a thing that any real devices support?

No. A spec for HDMI Alternate Mode was written, but almost nobody (possibly nobody at all?) implemented it, and it was eventually withdrawn.

https://arstechnica.com/gadgets/2023/01/hdmi-to-usb-c-spec-a...