https://extensions.gnome.org/extension/4475/hide-panel-only-when-active-window-is-fullscreen/
GNOME extension: Only hide the panel when a fullscreen application has focus