Повторная установка gnome-tweak-tool разрешила эту проблему, и после перезагрузки GNOME 3 снова появился. Фактически gnome-tweak-tool был установлен, но система обнаруживает его как удаленный.