Editorial change: replace by footbibliography#1295

gusthoff merged 3 commits intoAdaCore:mainAdaCore/learn:mainfrom

gusthoff:content/adacore-technologies-for-airborne-software/editorial/review/20251226gusthoff/ada-learning-material:content/adacore-technologies-for-airborne-software/editorial/review/20251226Copy head branch name to clipboard