User wishes for the Raspberry Pi to have both a standard HDMI port and a micro HDMI port.
I wish they'll give it both a HDMI and a micro hdmi