Nethack4 is the name of a popular fork, they probably wanted to avoid confusing people