New guides for the help pages#615

tim-at-topos wants to merge 2 commits intomainToposInstitute/CatColab:mainfrom

help-page-guidesToposInstitute/CatColab:help-page-guidesCopy head branch name to clipboard