As another work around (for those of us doing online lectures to avoid spread of Covid-19) you can use this gnome extension. https://extensions.gnome.org/extension/906/sound-output-device-chooser/
As another work around (for those of us doing online lectures to avoid spread of Covid-19) you can use this gnome extension. /extensions. gnome.org/ extension/ 906/sound- output- device- chooser/
https:/