GNOME Shell Extension allowing separate configuration of pulseaudio devices