Nethack General Public License

Dear Debian Legal, I was going through the Nethack General Public License and even though it is a free software license obviously not compatible with the GNU GPL, how do you maintain it without calling it nethack though since the only official nethack releases can be called nethack. If you wer

Possible GPL violation

In the debian manual, it says "This manual is free software; you may redistribute it and/or modify it under the terms of the GNU General Public License. Please refer to the license in Appendix F, GNU General Public License." It then includes verbatim the license which says "Appendix F. GNU Ge