[albanread]

You are right and it is a useful thing to know.

There is a commercial license to help encourage the big well funded customers to pay for the tools they need to compile millions of lines of company confidential ADA.

And a license for only open source software; just in case students or hobbyists want to write their own robust open source rocket guidance system and share it on github.