NetHack AI user asks how a reported 19.5k score maps to a progress metric · Digg