bafe34696d
As some keybindings are now provided by gnome-shell rather than mutter, it makes sense to expose those in System Settings. https://bugzilla.gnome.org/show_bug.cgi?id=671010