Hey,
First of all thank you for the guide. It has been very helpful. I used audio_cloverHDMI-110.command to get HDMI audio working on Friday. I've been noticing an unusual problem lately that's affecting HDMI audio. I have no idea if this is at all related to audio_cloverHDMI-110.command, nor am I sure where to ask about this, so I apologize if this isn't the right place.
What's been happening is occasionally when I try to wake my computer from sleep, it will take it a minute or two to start outputting an HDMI signal, and sometimes it never does. My receiver just reports "no signal" and my TV is blank, but I can hear the computer wake up and see the LED lights come on to indicate that it's doing something. A couple times after the display finally came back on, my HDMI audio was gone (the HDMI audio output device was no longer an option in my sound preferences). It only happens sporadically, and restarting always fixes the problem.
Again, I'm not really sure where to ask this. Please let me know if you want me to post all of details listed under Post 1 - Problem Reporting, or if maybe there's a better place to find help on this.