I believe Chromecast uses something similar. While setting it up for my parents I had the receiver switched to a different input and after a little while it ask

I believe Chromecast uses something similar. While setting it up for my parents I had the receiver switched to a different input and after a little while it asked me to make sure the TV's sound output was not muted. Edit: ah, another commenter had already confirmed this. That's what you get for not reading all the way through :)