Re: document pg_settings view doesn't display custom options

On 2020/10/29 21:54, John Naylor wrote:

>     The <structname>pg_settings</structname> does not display
>     <link linkend="runtime-config-custom">customized options</link>
>     that have been set before the relevant extension module has been loaded.

I guess that someone can misread this as

     customized options that have been set before the relevant extension
     module has been loaded are not displayed even after the module is loaded.

So what about the following, instead?

     The pg_settings does not display customized options until the extension
     module that defines them has been loaded.

Also I think this note should be in the different paragraph from the paragraph
of "The pg_settings view cannot be inserted into or deleted from...." because
they are different topics. Thought?