The code was removed, so no need to keep the preference. https://bugzilla.gnome.org/show_bug.cgi?id=657718