Can confirm that sound comes through the HDMI. You might have to use the little up arrow in the toolbar and select the Audio Output mode.
Otherwise, a USB-C extender might work for those with case and audio issues? Defeats the purpose of the built in fan and would look horrible.
Maybe the Dex...