I've been reading about audio quite a bit the last couple of days. The raspberry audio(card) seems not that great, but it's not really clear to me whether it's used when you connect your raspberry with your receiver over hdmi.
Do you know whether the dac on the raspberry is used when you connect it through hdmi with your receiver? Does adding a hifiberry make any sense in this case?
As a possible additional question: I have a pretty standard receiver, onkyo tx 414, if that's the dac in charge should I be interested in adding a hifiberry on to my raspberry for audio purposes?
Sound quality improvement