TBF and much to my dismay HDMI was returned with the ARM mbps (the real ones not the 13”).
Why would having an HDMI port be a bad thing?
Because it removes a thunderbolt port which I could use, whereas I don't need an HDMI port. In the ~18 months I've had it, I've used the HDMI port a grand total of 0 times.