Illustrate the syntax for the policy options, with semicolons. Explicitly mention the "default" policy. Fix a few typos and remove some redundant wording. (cherry picked from commit 7ee56e2abd)
7ee56e2abd