‘GNOME Tweak Tool’ Has Been Renamed

GNOME Tweak Tool, the handy advanced settings utility for the GNOME desktop, has changed its name to the shortened title of ‘GNOME Tweaks’.