I also once wrote about some weird Franken icons…And, Gnome-look has a whole lot of these…
You can!
All you have to do is come out of the box.
And, disable one, and enable the other, or…replace the system extension with the other.
Btw, does the person, who originally created the extension still maintain it? Or had dropped it, and someone else had taken over to continue?
The thing is, it is all about extensions, just to make Gnome shell more useful. You can either put it in your .local, or make it a “system” extension.
And, depending on the extension(s) it becomes a Franken_distro. In the nice old days, we all had Franken-distros. If one wants to use a vendor-locked system, best use MacOs or Windows.
Ah, I didn’t say a word since 2 days…until someone couldn’t stand it!