* Now really change debian/copyright.