> On 10 Apr 2023, at 08:56, Michael Paquier <michael(at)paquier(dot)xyz> wrote:
>
> On Tue, Mar 28, 2023 at 04:28:24PM +0200, Peter Eisentraut wrote:
>> Sure, some cross-linking between those two sections seems sensible.
>
> Steve, would you like to propose a patch?
Yes, I’ll do that once I get some time to get the doc toolchain working.
Cheers,
Steve