GNOME Shell-integratie · Versiegeschiedenis

Deze extensie voorziet in de integratie met GNOME Shell en de bijbehorende website met uitbreidingen https://extensions.gnome.org