Re: doc review for v14

On Thu, Dec 24, 2020 at 9:12 PM Michael Paquier <michael@paquier.xyz> wrote:
> On Mon, Dec 21, 2020 at 10:11:53PM -0600, Justin Pryzby wrote:
> >          Specifies the amount of memory that should be allocated at server
> > -        startup time for use by parallel queries.  When this memory region is
> > +        startup for use by parallel queries.  When this memory region is
> >          insufficient or exhausted by concurrent queries, new parallel queries
> >          try to allocate extra shared memory temporarily from the operating
> >          system using the method configured with
> >          <varname>dynamic_shared_memory_type</varname>, which may be slower due
> >          to memory management overheads.  Memory that is allocated at startup
> > -        time with <varname>min_dynamic_shared_memory</varname> is affected by
> > +        with <varname>min_dynamic_shared_memory</varname> is affected by
> >          the <varname>huge_pages</varname> setting on operating systems where
> >          that is supported, and may be more likely to benefit from larger pages
> >          on operating systems where that is managed automatically.
>
> The current formulation is not that confusing, but I agree that this
> is an improvement.  Thomas, you are behind this one.  What do you
> think?

LGTM.