Updates to debian/copyright.