‘App Hider’ is a GNOME Extension That, Err, Lets You Hide Apps

Sometimes I come across an app, a script, or an extension that does something pretty minor that most people — even myself, sometimes — won’t have need for. And… I kinda want to write about it. Typically, I don’t because the sort of comments those posts get puts me off. Some folks assume that if I blog about something I’m somehow trying to suggest it’s “the best” for a given task. That is rarely the case; I simply like to showcase choice, make people aware of alternatives, surface different ways of doing things, and so on. But today I thought:
#News #GnomeExtensions

https://www.omgubuntu.co.uk/2023/04/hide-application-gnome-shell-extension