Re: Certificate authentication docs in multiple places

[Steve Atkins]

> On 10 Apr 2023, at 08:56, Michael Paquier <mich...@paquier.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