On Fri, Feb 27, 2026 at 5:04 PM Chao Li <[email protected]> wrote: > > On Feb 28, 2026, at 00:55, Jacob Champion <[email protected]> > > wrote: > > I propose the attached diff, with a backport to 18.
This is now pushed. > “Server backend” sounds a bit uncommon in the documentation. I suppose. We also say things like "PostgreSQL backend", "bootstrap backend", and of course just "server" and "backend". I don't think this is likely to cause any confusion, so I've kept it, but I can always patch+backpatch again if others feel strongly. Thanks! --Jacob
