MIT license?

[Michael Collins]

When updating the toolbox, I got a dialog box about a "Microsoft Research License Agreement" which looks very different from the MIT license. What does this mean? Since I am not working in an academic environment, I want to make sure to be careful about such things, thanks.

[Markus Alexander Kuppe]

Hi Michael,

the update shows an outdated license. The Toolbox and the TLA+ tools are
MIT licensed. We will fix the incorrect license in a future release.

Thanks

Markus