Merge branch 'master' into 'master'

Devkit handholding 2

See merge request !103
1 job for master
in 11 minutes and 1 second, using 0.0 compute credits, and was queued for 0 seconds