There is a variant named NetHack 4, they might want to avoid confusion with it.