Copyright for gnome-shell-extension-manager source package in Mantic