Alternative to install Gnome Extensions

Hi All, I recently heard about a new possibility to install Gnome Extensions, without the need of a RPM installed browser. It's currently under development at [Github](https://github.com/ekistece/GetExtensions) You can even install it via a toolbox; the commands are as follows: $ toolbox -u $ sudo zypper in git python38-pip $ cd /tmp $ git clone https://github.com/ekistece/GetExtensions.git $ pip3 install ./GetExtensions --user $ exit You can then open the application Get Extensions that is available in your launchpad. To uninstall: pip3 uninstall getextensions Is there someone that is able to package this application in OBS so we can include it in the MicroOS installation? /Syds