gnome-shell-extension-sound-device-chooser 38-2 (amd64 binary) in ubuntu impish

 Simple selector to enabled selection of sound source and sink based on GNOME
 Control Center.
 .
 Sound output device chooser shows a list of sound output devices (similar
 to the GNOME sound settings) in the status menu below the volume slider.
 .
 It lets you select the active device and output port (HDMI, Speakers etc).