More improvements to debian/copyright