“Does this adapter do 4K video over the HDMI port when used on a new Dell XPS-13? Or do you need the USB-C version of this adapter to get 4K video?”