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