The deb package gnome-shell-extensions includes the User Themes extension, if you want to avoid the browser add-on and going through the website to install the extension.
1 Like
The deb package gnome-shell-extensions includes the User Themes extension, if you want to avoid the browser add-on and going through the website to install the extension.