GNOME Shell Sound Switcher Extension Lets You Switch Audio Devices Easily