Just to clarify, it was confirmed from engineering (Connecting laptop using USB-C cable) that there_is_ DP to HDMI conversion built in, and I have now verified myself that there is in fact a classic Parade PS176 protocol conversion chip between the USB-C video port and the HDMI multiplexer in the V56.