Copyright for tex4ht source package in Stretch