Usando PulseAudio no HDMI

Um guia prático sobre como configurar corretamente o PulseAudio para saída de áudio via HDMI no Linux.