Ahh, GNOME 3, the DE where the developers know best, and user-facing configuration options are the enemy (stupid users should just accept that devs know...