Merge branch 'slides/169-rst-prelude-checker-should-verify-file-conta… #2021

Job	Run time
Labs-Slides	1m 4s
List-Courses	8s
Contrib scripts check	1m 24s
Labs (ubuntu-latest)	44s
Python scripts black lint check	8s
Slides (static_analysis_via_compiler)	1m 9s
Slides (fundamentals_of_ada)	8m 57s
Slides (gnat_project_facility)	1m 34s
Slides (gnat_studio)	1m 16s
Slides (toolchain)	1m 15s
Slides (gnatsas)	2m 19s
Slides (gnatdas)	2m 13s
Slides (spark_for_ada_programmers)	2m 52s
Slides (advanced_exception_analysis)	1m 8s
Slides (fundamentals_of_ada/opat.txt)	2m 6s
Slides (fundamentals_of_ada/standard_course.txt)	2m 3s
Slides (fundamentals_of_ada/advanced.txt)	1m 53s
Slides (gnat_project_facility/standard_course.txt)	1m 16s
Slides (gnat_studio/course.txt)	1m 19s
Slides (toolchain/gnat_toolchain.txt)	1m 13s
Slides (spark_for_ada_programmers/course.txt)	1m 38s
	37m 39s

Provide feedback