Extensions are missing both under the tab in the site https://extensions.gnome.org/, as well as in the Tweak tool. I recently upgraded to Gnome 3.6, and also installed Gnome Shell Extensions from software center. I have logged into Gnome Shell. (by choosing the first option Gnome, instead of others like classic). So, I'm defintely in Gnome shell.
Also Alt+F2 though brings up the run window, when I press r, nothing happens.
When I check in terminal for gnome update, it says my gnome shell is upto date.
So, why are the shell extensions missing? Kindly advice.