Really add Debian-style copyright