NetHack Gender Survey (Public)