Gnome-shell has become one of my favorite desktop environments. Here are some of my installed extensions, to make it even better.