Merge branch 'cherry-pick-76b48e27' into 'releases/3.4'

Merge branch 'cleanup/unify-ug-guard-lecture-v3.4' into 'master'

See merge request !155
1 job for releases/3.4
latest
Status Name Job ID Coverage
  Trigger Pipelines
passed full-dune-2.7-gcc