Official GNOME Shell Extensions Available In GNOME 3 PPA For Ubuntu 11.10webupd8.org7 pointsdarkduck15 years ago