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