Re: doc review for v14

On Thu, Dec 24, 2020 at 9:12 PM Michael Paquier <michael(at)paquier(dot)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.