I think that the many issue is that with all the options having changed location since GNOME 3.2, nobody knows where to find it.
I think that the many issue is that with all the options having changed location since GNOME 3.2, nobody knows where to find it.