Merge branch 'progress_monitoring' into 'master'

All-in-one script

See merge request !6
2 jobs for master
in 3 minutes and 17 seconds and was queued for 7 seconds