Minor fixes on Intro How It Works#9939

mergennachin merged 2 commits intomainpytorch/executorch:mainfrom

fix_docspytorch/executorch:fix_docsCopy head branch name to clipboard