This GNOME Extension Makes the ‘Activities’ Label More Useful
It’s not useless, of course: you click the “Activities” label to enter the “activities” overview — or the ‘workspace switcher’ as I tend to call it.
But most of us (empirically speaking; I did a survey and you did take part) tend to enter the workspace switcher/activities overview by tapping the super key.
Anyhow, there’s a new GNOME extension out called Replace Activities Label that —deploy your faux shocked faces now— replaces the ‘Activities’ label with something a little more useful.