Obteniendo GNOME real de vuelta en Ubuntu 18.04 [Consejo rápido]