Thanks for pointing that out, because it was not on the linked page nor on the main page. They do a good job of never mentioning it anywhere on the main pages. (I suspect that's intentional. It's always one extra click hidden--It's buried under the Community tab which then has a Download tab. Or it's under the Try Ada now which then gives you a GNAT Community Download button.)

The lack of transparent pricing is still an issue, though.