That’s really surprising. I’m a regular reader of omgubuntu, and they frequently post about popular gnome extensions. Would I have heard of it outside of this source 🤔 I think probably not. So perhaps I shouldn’t be so surprised.