Feature request: Add option to hide the top bar
The top bar is the bar showing 'Activities' Date/Time and on the right side settings i.e. for audio, network. Most desktop environments have a setting to automatically hide it.
I know there's a gnome extension https://github.com/mlutfy/hidetopbar but IMHO this setting should be integrated in the settings by default.