Copyright for texmacs source package in Artful