[ Thanks to An
Anonymous Reader for this link. ]
“If you’re reading this, then you probably know what GNOME Shell
is and how it looks like. However, many of you probably don’t like
the current look of the GNOME 3 desktop, therefore GNOME Shell
extensions are here to improve your overall desktop experience.“A website from were to install GNOME Shell extensions is a
dream come true for all GNOME 3 users, not to mention the fact that
you can also list your own extensions.”