There’s a non-zero chance it was a game someone he worked with just made. My dad used to work with a guy that would program playable text based games during his down time (this was in the 90s), he ultimately went on to work at an actual game company from what I remember.