Does nobody play nethack anymore?