“NetHack” (Nethack AI; backlinks)