-
Users are not familiar with term 'banner', so it is replaced with term 'popup'. Also description has been added to the notifications and popups switches, which explains why someone might want to disable popups but leave notifications enabled. https://bugzilla.gnome.org/show_bug.cgi?id=751369
0c9657c0