original gnome shell extension: https://extensions.gnome.org/extension/906/sound-output-device-chooser/ Sound Input & Output Device Chooser by kgshank
There are some minor problems in this extension.
- when no microphone is connected, "extension initialsing" appears in the menu
- After removing microphones, the old one still stays in the menu
This modified version corrected these minor issues,