Hide Top Bar - GNOME Shell Extensions
extensions.gnome.org