Getting Actual GNOME Again in Ubuntu 18.04 [Quick Tip]