Yes, but it's "yet another" dongle for this machine which is meant to be an easy to use all-in-one friendly to beginners. Them using micro HDMI is already bizarre seeing as there's loads of room for a full size port and most people will need a dongle/adapter here, but not including an audio jack is crazy, seeing as the proper Rpi4 does have one!
> meant to be an easy to use all-in-one friendly to beginners
Unlike the "normal" Raspberry Pi this device has a fairly focused use case that you have summarised well here. It is designed to be plugged into an HDMI TV and used as a PC, with the great bonus of a cool GPIO connector. You make some choices and you make some sacrifices to meet cost and space targets. This also isn't an iPhone that costs $800.
As for fitting the HDMI on, there isn't loads of space for a full size port. I'm not saying it would be completely impossible but it would be challenging. Have a look at the photo of the board in this post:
The non obvious thing looking at that photo is that the keyboard slopes back so you only have height at the front. Non-micro HDMI are surprisingly deep, without CAD looking up parts and looking up parts I can't tell if just wouldn't fit at all, but you certainly wouldn't be able to get much behind it. Note also that they couldn't work out a way to sensibly route the USB to the other side - it's clearly a busy board.
You would also want a dongle that has a driver already bundled with the OS. Not sure if that's typical or not. Probably unlikely that the dongle itself comes with a suitable ARM/Linux driver.
USB audio devices are standardized (just like flash drives, as USB mass storage, and keyboard/mouse, as HID respectively), so you don't need device-specific drivers for most of them.
Oh. Either that post was edited or I misunderstood - I thought they were talking about an HDMI dongle with 3.5mm audio jack for audio extracted from the hdmi. But yes, indeed, a USB audio dongle should "just work".
I add my voice to the chorus of complaints about dongles, but for the record you could also use an inline HDMI audio extractor which is invisible to the OS and requires no drivers for sure. They are also very cheap.