hellina updates#13

hhnigatu wants to merge 2 commits intoplait-lab:mainplait-lab/plait-lab.github.io:mainfrom

hhnigatu:mainhhnigatu/plait-lab.github.io:mainCopy head branch name to clipboard