If I'm reading this right, the source code has been available for all the Infocom games in https://github.com/historicalsource for at least six years, but what's changed today is the license?