Merge branch 'develop' into 'master'

[release] Regular merge of develop

See merge request R3/howto-cards!227

.ci/generateIndex.py

@@ -25,8 +25,8 @@ def build_link(title, href):
 def build_section_start(title, shortcut):
 
     title = title.replace("Gdpr", "GDPR")
-    title = title.replace("Handbook additional", "Handbook - PI/Supervisor specifics")
-    title = title.replace("Handbook annexes", "Handbook - Annexes")
+    title = title.replace("Handbook additional", "PI/Supervisor specifics")
+    title = title.replace("Handbook annexes", "Annexes")
     title = title.replace("Covid 19", "COVID-19")
 
     return f'\n\t<div class="index-box noborderbox" id="{shortcut}">\n\t\t<h3>{title}</h3>\n\t\t<ul>\n'

.gitignore

@@ -42,3 +42,4 @@ handbook/
 internal/handbook
 internal/handbook-additional
 internal/handbook-annexes
+!internal/covid-19/exit-strategy/*.pdf
\ No newline at end of file