Some of the shortcuts we expose in Settings are outdated or don't apply to GNOME Shell, so remove those.