Copyright for texmacs source package in Jammy