Re: minor doc work

Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> Please don't use marked up command names as verbs. Next week you'll
> be <command>UPDATE</command>ing or something.

The existing documentation does this -- indeed, the very section of
the docs that I modified *already* did it:

If <command>SET</> is allowed, it overrides all other sources of
! values for the parameter. Superusers are allowed to <command>SET</>
! more values than ordinary users.

(which was the original text)

I've modified this particular section per your suggestion, but I
haven't made any wider changes (i.e. this style is still used in other
places).

-Neil