GNOME Extension Manager Met de Extension Manager vindt en beheert u GNOME-shelluitbreidingen. Daarnaast kunt u checken of de door u gebruikte extensies ook werken met nieuwere versies van GNOME.
GNOME Featured GNOME 45 GNOME 45 komt met mooie verbeteringen. Helaas ook met een verstorende wijziging voor de extensies.
