hide-panel-lite
https://extensions.gnome.org/extension/4496/hide-panel-light-version-without-hot-corner/
https://extensions.gnome.org/extension/4496/hide-panel-light-version-without-hot-corner/
https://extensions.gnome.org/extension/4496/hide-panel-light-version-without-hot-corner/
https://extensions.gnome.org/extension/4496/hide-panel-light-version-without-hot-corner/