Either way you look at it, this sort of thing is what I don't like about GNOME. Tools like gnome-tweak-tool and dconf-editor should be right there in the Settings module, by default. They are two of the first apps I add to a GNOME installation, just like some years back when I used to add gconf-editor. The focus is so much on keeping things simple for the user that they don't even make it easy to get to these essential tools for fine-tuning GNOME Shell.
Yeah that was my point as well.