This discussion was about replacing HDMI with USB C -- I presumed on both ends. Switching USB C to HDMI alt mode and then running a HDMI cable is not replacing

This discussion was about replacing HDMI with USB C -- I presumed on both ends. Switching USB C to HDMI alt mode and then running a HDMI cable is not replacing HDMI with USB C. Let's not even mention I am unaware of any product switching USB C to HDMI alt mode. All the available USB C to HDMI converters are using DisplayPort alt mode and an active converter, packed in one IC.