mavit·vor 3 Jahren·discussIt wasn't removed. These days, the setting is still exposed in GNOME Tweaks.