Fair question and point but noone with a Librem 5 is going to be using HDMI anyway so cable / adapter is not relevant?
I think the Pi changed to micro HDMI (with the Pi 4) when they introduced dual video outputs. It really would have been squeezy to fit two full-sized HDMI connectors on the Pi 4 board. I’m using all my Pi devices in fixed locations so I don’t need to carry around the right cable but I do have to procure that specific cable.