hide gnome taskbar

https://extensions.gnome.org/local/ very useful link for an older netbook; have the plugin to hid the taskbar installed. hat extra few pixels does make a difference on 1024x600