Merge pull request #1275 from gusthoff/content/adacore-technologies-for-airborne-software/editorial/review/20250926

Editorial change: various corrections and improvements to "Airborne Software" booklet

Author: gusthoff