changing default pulse audio output destination

[Eric S Fraga <e.fraga@ucl.ac.uk>]

Hello all,

On one of systems, I have three different possible output destinations
for sound: USB headset, system speaker, HDMI speaker.  By default, pulse
audio (or whatever the tool is these days on Debian 12) sends output to
the headset, not what I want.  So I change the destination but, whenever
my screensave blanks the screen, when I reawaken it the destination goes
to the headset again.  I assume this is because the HDMI port goes to
sleep or disappears?

Is there any easy way to tell pulseaudio/pipewire/? to automatically
route to the HDMI when the screen awakes and the HDMI is available
again?

Thank you,
eric

-- 
Eric S Fraga via gnus (Emacs 30.0.50 2023-09-14) on Debian 12.1