Hacker News new | ask | show | jobs
by repsak 2961 days ago
You can y remove it in gnome too https://extensions.gnome.org/extension/545/hide-top-bar/