Editorial change: unveil Ada Idioms course

Add "Ada Idioms" course to list of published courses.

Author: gusthoff

content/hidden.txt

@@ -1,2 +1 @@
 courses/advanced-spark
-courses/ada-idioms

content/index.rst

@@ -84,6 +84,7 @@
 
         Introduction to Ada <courses/intro-to-ada/index>
         Advanced Journey With Ada <courses/advanced-ada/index>
+        Ada Idioms <courses/ada-idioms/index>
         Introduction to SPARK <courses/intro-to-spark/index>
         Introduction to Embedded Systems Programming <courses/intro-to-embedded-sys-prog/index>
         What's New in Ada 2022 <courses/whats-new-in-ada-2022/index>
@@ -100,7 +101,6 @@
             :caption: Upcoming Courses
 
             Advanced Journey With Ada (UNPUBLISHED) <courses/advanced-ada/index_hidden>
-            Ada Idioms <courses/ada-idioms/index>
             Advanced SPARK <courses/advanced-spark/index>
 
     .. toctree::