A utility for browsing and installing GNOME Shell Extensions.
Why do you think that https://github.com/whatwg/html is a good alternative to extension-manager
A utility for browsing and installing GNOME Shell Extensions.
Why do you think that https://github.com/whatwg/html is a good alternative to extension-manager