Hides the top bar, except in overview. However, there is an option to show the panel whenever the mouse pointer approaches the edge of the screen. And if "intellihide" is enabled, the panel only hides when a window takes the space. - Press backspace to remove keyboard shortcut. - Log off and on again when there is an error after upgrading.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Just as an explanation: It's a complete rewrite. Unfortunately, I found at least one unnecessary lines just after uploading ("Lang = imports.lang"). But on the whole I'm using this version of the extension for quite a while now and it's working flawlessly. I dropped the README for extensions.gnome.org, because I don't see people going to the extension's dictionary to read the README file. They rather come here and from there to github, where they will find a decent documentation.