Sync unpushed main updates#156

dimitri-yatsenko wants to merge 2 commits intomaindatajoint/datajoint-docs:mainfrom

sync/unpushed-main-updatesdatajoint/datajoint-docs:sync/unpushed-main-updatesCopy head branch name to clipboard