Small fix workshop program#92

elespdn wants to merge 4 commits into

mainDHBern/dhbern.github.io:mainfrom

small-fix-workshop-programDHBern/dhbern.github.io:small-fix-workshop-programCopy head branch name to clipboard