added documentation, same as 2025#1091

harpa-g wants to merge 5 commits into

UPB-PMRust:mainUPB-PMRust/website:mainfrom

harpa-g:project/george.harpaharpa-g/website:project/george.harpaCopy head branch name to clipboard