doc: adjust to changes in Nemo#5194

lgoettgens merged 2 commits intomasteroscar-system/Oscar.jl:masterfrom

th/docupdateoscar-system/Oscar.jl:th/docupdateCopy head branch name to clipboard