Typographic fixes, spacing after \opt#522

zygoloid merged 1 commit intocplusplus:mastercplusplus/draft:masterfrom

stbergmann:space-after-optstbergmann/draft:space-after-optCopy head branch name to clipboard