Copyright for xorg-options-editor-gtk source package in Mantic