709c226fc3
When support for notification sounds was added, it made some sense to keep the 'enable-sound' setting independent from 'show-banners'. However that changed when 'show-banners' was rebranded in the UI as "Do Not Disturb", as sounds are at least as disturbing as the banners. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2873