On Fri, Feb 27, 2026 at 5:04 PM Chao Li <li.evan.chao@gmail.com> wrote:
> > On Feb 28, 2026, at 00:55, Jacob Champion <jacob.champion@enterprisedb.com> 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