[Documentation:Developer] Christopher Summer Report 2025#705

bmcutler merged 2 commits intomainSubmitty/submitty.github.io:mainfrom

chris-summer2025Submitty/submitty.github.io:chris-summer2025Copy head branch name to clipboard