Packaging basically done: https://gitlab.com/highvoltage/gnome-shell-extension-pixelsaver-packaging
The problem is that it contains some theming which is improperly licensed. I sent a pull request to upstream to attribute the themes correctly and to remove the themes where we cannot find the original upstream. If that doesn't work out, I will go ahead and apply that patch in the packaging.
