I could be wrong, but iirc the HDMI they use and full size HDMI are pin compatible. It's likely they just chose the smaller connector so they can break both out and have a smaller board footprint(as opposed to having a larger board or only providing a connector for one HDMI port)