Copyright for gtk-recordmydesktop source package in Disco