Copyright for texinfo source package in Artful