GNOME 40: le novità principali