Replace OSTEP-projects with projects from the UW-Madison GitLab#33

luccaflower wants to merge 8 commits intoBorrProject:mainBorrProject/borrproject.github.io:mainfrom

luccaflower:refine-ostep-extendedluccaflower/borrproject.github.io:refine-ostep-extendedCopy head branch name to clipboard