f9a7718dda
gnome-desktop broke API in commit ca5d61cf24, as it didn't *add* a property as incorrectly stated in the commit message, but *replaced* an existing one. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1457