* Sync debian/copyright with output of Help/About.