workspace: fix documentation typos, grammar, and correctness issues#12566

dan-starkware merged 1 commit intomainstarkware-libs/sequencer:mainfrom

claude/fix-documentation-D5Hurstarkware-libs/sequencer:claude/fix-documentation-D5HurCopy head branch name to clipboard