Fix example in Option documentation#62

mathroc merged 2 commits intomaintexthtml/maybe:mainfrom

codex/find-and-fix-a-bug-in-codebasetexthtml/maybe:codex/find-and-fix-a-bug-in-codebaseCopy head branch name to clipboard