ah cool, yeah I also hide the top bar but I’m using this one https://extensions.gnome.org/extension/545/hide-top-bar/ your one looks more flexible I might try

the dash to dock extension looks nice I will give it a go as well

Thanks!

Any suggestions about Gnome extensions?

I use Gnome on a 42" tv the only thing I’ve done is increasing zoom level since the couch is a bit far from the screen. In the browser I set up the new tab screen to have big icons that link to some of my bookmarks, using a browser extension. That’s all I’ve done compared to a vanilla setup. I have been using that for a few years with no issues but curious about how I could improve my experience!