fix: update references to renamed repositories#204

Keinberger wants to merge 1 commit intomain0xMiden/docs:mainfrom

kbg/fix/update-renamed-repo-references0xMiden/docs:kbg/fix/update-renamed-repo-referencesCopy head branch name to clipboard