The second line sets the first card according to hardware order, which again is the gpu/hdmi to the second slot, ergo index is set to 1.
From the experience I gathered so far: The first line enables the first device, which according to lspci is the hdmi/gpu card and then sets its index to 0, ergo this line changes nothing, which is the reason I said it is redundant.
