These four changes - a couple of which required some ingenuity - are
the last four identified spelling issues in the main docset. Two
involved inline code in tables that included pipe characters, which
GitHub Flavored Markdown explicitly does not support. These lines
had to be rewritten or taken out of their tables entirely; there was
no other way to fix the upstream problem.