Merge branch 'master' of gitlab.switch.ch:ssth-19/piece-of-cake

1 job for master
Status Job ID Name Coverage
  Doc
manual buildpdf #9632
docker allowed to fail manual