courses/ada_essentials/*.rst
courses/spark_essentials/*.rst
courses/advanced_exception_analysis/*.rst
courses/gnatcheck/*.rst
courses/gnatsas/*.rst
courses/gnatdas/*.rst
courses/static_analysis_suite/*.rst
courses/static_analysis_via_compiler/*.rst
courses/gnattest/*.rst
courses/gnat_project_facility/*.rst
courses/gnatcoverage/*.rst
courses/rust_essentials/*.rst
courses/misc_tools/*.rst
