[Documentation:InstructorUI] Add redaction instructions#682

lavalleeale wants to merge 2 commits intomainSubmitty/submitty.github.io:mainfrom

redactionsSubmitty/submitty.github.io:redactionsCopy head branch name to clipboard