Nethack General Public License

[Joshua Allen <josha12@gmail.com>]

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 were to append 
the same license on top of the NGPL but remove references to nethack, it 
would still qualify because the terms are the same im just changing the 
name of the program derivative.

Hence for example:

    <one line to give the program's name and a brief idea of what it does.>
    Copyright (C) 20yy  <name of author>

    This program is free software; you can redistribute it and/or modify
    it under the terms of the Nethack General Public License as 
published by Nethack.org

    Since Nethack.org owns the trademark to Nethack, references to 
Nethack in the NGPL refer to <program name>.


    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the Nethack General Public License
    along with this program; if not, go to 
https://www.nethack.org/common/license.html