As an aside to this- they'd already built an ecosystem around micro HDMI with the Pi 4 so changing it to full-sized HDMI would probably have irritated just as many people as not. They're also more economical to run through a pick-and-place machine, I believe.
Additionally, a little tidbit not included in this article:
"Also, full-sized HDMI connectors have no lead-in (to funnel the connector in). Whereas the micro-HDMI ones do, this makes auto-insertion of the connectors possible when testing which means we can do testing through the connector. This makes it cheaper and more reliable..."
Source: https://twitter.com/gsholling/status/1323322997315411971?s=2...