> Ada is in practice almost completely maintained by one single (consulting) company, Adacore

One would think this is a reason not to inform people of the existence of Ada – but I actually see it the other way around.

With a large enough community, the influence of Adacore would diminish and we would see more independent contributions. Ada has all the right things in place to create a great FOSS community, with an open, published standard, democratic contribution model, GNU support and so on. It's just missing the people to make it truly free.