How to remove Nvidia HDMI audio output in PulseAudio?

If you’re having trouble with audio routing throught the wrong device, this may be the answer.

Source: sound – How to remove Nvidia HDMI audio output in PulseAudio? – Ask Ubuntu