And the emacs debian.README and other things in it also say Debian GNU/Linux. Does a recent version of the guidelines say not to do that anymore? (I didn't bother changing it, but if the guidelines say to, I will...)