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

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.