Peter Eisentraut <peter_e@gmx.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