Packages of the gnome-shell-extensions maintained by me.
Both extensions are now in the official Fedora-repos.
I will not update them here any more.
This is a companion discussion topic for the original entry at https://copr.fedorainfracloud.org/coprs/jenslody/gnome-shell-extensions/
