Won't `debian/copyright` grow each time we run this script?