I believe his estate ceded the Infocom game to the BBC who have been keeping the game up (free to play) for more than a decade now: https://www.bbc.co.uk/programmes/articles/1g84m0sXpnNCv84GpN...