news-has-debian-extension (source): incorrect-packaging-filename debian/NEWS.Debian -> debian/NEWS
