Extension: Auto Hide Top Panel

[My Name Is <b4touring gmail com>]

I've been running Fedora 16 for about two months and I have been really happy with it, once the extensions for Gnome 3 came out.

I
 was shocked and dismayed when I was setting up a new (Fedora 16) system
 for a friend and the error I got from the extension page was that the 
auto hide top panel was not compatible with my version of Gnome 3. And 
if you go to the general extensions site, you can't find it anymore.

https://extensions.gnome.org/extension/42/auto-hide-top-panel/version/99/

What. The. Hell?

And
 not only that, the noa11y was not available either. These are my two 
most favorite extensions. In fact, I dare say that if they were 
eliminated from Gnome 3, I would change to a different Windows manager 
because I find the very pleasing.

So my question is:

What happened to the auto-hide-top-panel and noa11y?

Shouldn't there be some log, some site that says "hey, we removed it because ......"