> On 26 Dec 2019, at 15:36, Jonathan S. Katz <jkatz(at)postgresql(dot)org> wrote:
>
> On 12/26/19 9:26 AM, Jonathan S. Katz wrote:
>
>> The approach I will take is I'll hide it while leaving the management
>> functionality available, in case we decide to bring it back.
>
> ...and done.
+1, Thanks