I was trying out recording the MK3 HDMI output on my Mac with Quicktime and a Cam Link 4K HDMI capture device.
When I first tried this the audio didn't work. I had set up an 48 kHz sampling rate on the Indivision and Quicktime also showed 48 kHz. But there were just a few blips every second or so. But on my HDMI monitors for the most part the HDMI audio worked great. (I had some weird effects in NTSC or when changing screen modes during playback.)
Just now I tried different sampling rates, and what do you know: at 96 kHz it works just fine. Even though Quicktime still reports 48 kHz.
So get ready for some super high quality long play videos, Youtube! (Well, not really, as I'm a terrible gamer.)