All Gnome 3 users and those that have switched desktops because they hated the Gnome Shell should look at the official Shell Extensions website, <a href="https://extensions.gnome.org">https://extensions.gnome.org</a>. Gnome Shell is customized with extensions instead of having a smorgasbord of options in the settings menu. Most of the gripes I've heard about the GNOME Shell are addressed in extensions available at the website.<div>
<br></div><div>-Will</div>