Merge branch 'develop' into 'master'

[release] Regular merge of develop

See merge request !185

.ci/generateIndex.py

@@ -11,7 +11,8 @@ def line_prepender(filename, line):
 def build_link(title, href):
 
     # strip the number of the title
-    title = re.sub('[0-9.]', '', title).strip()
+    if ('handbook:1-general' in href) or ('handbook:2-additional' in href):
+        title = re.sub('[0-9.]', '', title).strip()
 
     return f'\t\t\t<li><a href="{href}">{title}</a></li>\n'