Merge branch 'main' into release/0.2

Author: RobPasMue

.github/workflows/ci_cd.yml

@@ -62,7 +62,7 @@ jobs:
 
       - name: Build the documentation (PDF)
         run: |
-          xvfb-run make -C doc pdf
+          make -C doc pdf
 
       - name: Upload HTML documentation
         uses: actions/upload-artifact@v3