From all these sources just take the folder with the firstname.lastname@example.org and paste them in /usr/share/gnome-shell/extensions and logout. But remember doing so activates the extensions immediately.
If you want to disable any extension, U should install the gnome-tweak tool available in the Debian repos. The tweak tool has other options which you would love to play with. Just remember u have to download the packages for 3.0.* There will be the same packages for 3.2.* And they may break when G3 is update to 3.2. U have been warned. G3 is shiny and beatiful. Thanx to the G3 devs.