HDMI to micro-HDMI is just a straight passive adapter - only the physical shape of the port is different, and feature support isn’t really a thing. In this case it’s obviously done because the HDMI connector is annoyingly bulky if you want two of them, though I’m surprised a stacked connector wasn’t a better option.