GNOME Shell 3.8 Extensions
See the README in each extension tarball for installation and usage details.

Click here for GNOME Shell 3.0 extensions.
Click here for GNOME Shell 3.2 extensions.
Click here for GNOME Shell 3.4 extensions.
Click here for GNOME Shell 3.6 extensions.
Click here for Cinnamon extensions.
      Name                                     Size  Description
removeusername-3.8.0.tar.gz 1.7K Remove username from top panel lookingglassbutton-3.8.0.tar.gz 1.8K Add Looking Glass button to panel removeusermenuseparators-3.8.0.tar.gz 1.9K Remove menu separators from user menu startofweek-3.8.0.tar.gz 2.0K Change start of week to Monday in Calendar gnome-extension-tool 5.9K Greatly enhanced version of gnome-shell-extension-tool
Searchable manpages --> here.   My technical blog --> here.   zur::Linux --> here.