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.
If possible, I would like to give permission to another user to upload new versions: https://extensions.gnome.org/accounts/profile/tuxor1337 He has commit access to the git repository of the extension.
I am afraid it's not possible: with the current infrastructure, each extension has one owner only. Anyway, this looks good.